Up
–
Index
»
djot
»
Djot_kernel
» OrdersFacts
Module
Djot_kernel.OrdersFacts
module
OrderedTypeFacts
(
O
:
Orders.OrderedType'
) :
sig
...
end