Module Using_comparator.Empty_without_value_restriction

Parameters

module Elt : Comparator.S1

Signature

val empty : ('a Elt.t, Elt.comparator_witness) t