module Poly:
Parameters: |
|
include Comparable_intf.S_common
module Map:Core_map.S
with type Key.t = t
with type Key.comparator_witness = comparator_witness
module Set:Core_set.S
with type Elt.t = t
with type Elt.comparator_witness = comparator_witness