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