Up
Module
Map_and_set_binable
(
T
: sig .. end) :
Map_and_set_binable
with
type
t
:=
T.t
Parameters
T
: sig .. end
Signature
type
t
include
Comparator.S
with
type
t
:=
t
type
t
type
comparator_witness
val
comparator : (
t
,
comparator_witness
)
Comparator.comparator
module
Map
:
Core_map.S_binable
with
type
Key.t
=
t
with
type
Key.comparator_witness
=
comparator_witness
module
Set
:
Core_set.S_binable
with
type
Elt.t
=
t
with
type
Elt.comparator_witness
=
comparator_witness