Make_S_plain_tree.1-Elt
type t
type comparator_witness
val comparator : (t, comparator_witness) Comparator.comparator