Using_comparator.Empty_without_value_restriction
module K : sig ... end
val empty : ('a K.t, 'v, K.comparator_witness) t