Up
–
logtk
»
Logtk
» JPFull
Module
Logtk.JPFull
module
Make
:
functor
(
S
:
sig
...
end
)
->
sig
...
end