Module type Comparator.S_fc
include S with type t := comparable_t
val comparator : (comparable_t, comparator_witness) comparator
Comparator.S_fc
include S with type t := comparable_t
val comparator : (comparable_t, comparator_witness) comparator