Parameter With_Cardinality.1-K

val is_summary : Key.t -> bool