Up
Module
Poly
:
S1
with
type
'a
t
= 'a
Signature
type
'a t = 'a
type
comparator_witness
val
comparator : ('a
t
,
comparator_witness
)
comparator