Using_comparator.Empty_without_value_restriction
module Elt : Comparator.S1
val empty : ('a Elt.t, Elt.comparator_witness) t