Parameter With_Cardinality._

val is_summary : Key.t -> bool