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