Up
–
Index
»
djot
»
Djot_kernel
»
MSetAVL
»
IntMake
» E
Module
IntMake.E
type
t
=
X.t
val
compare :
t
->
t
->
Datatypes.comparison
val
eq_dec :
t
->
t
->
bool