Up
Module
S_to_S1
(
S
:
S
) :
S1
with
type
'a
t
=
S.t
with
type
comparator_witness
=
S.comparator_witness
Parameters
S
:
S
Signature
type
'a t =
S.t
type
comparator_witness =
S.comparator_witness
val
comparator : ('a
t
,
comparator_witness
)
comparator