Up
–
Index
»
djot
»
Djot_kernel
»
MSetInterface
» MakeListOrdering
Module
MSetInterface.MakeListOrdering
Parameters
Signature
Parameters
module
O
:
Orders.OrderedType
Signature
module
MO
:
sig
...
end