Up
–
Index
»
djot
»
Djot_kernel
» Int
Module
Djot_kernel.Int
module
type
Int
=
sig
...
end
module
Z_as_Int
:
sig
...
end