sig
module
Make
:
functor
(
S
:
Lattice
.
S
)
->
sig
val
init : unit
->
unit
end
end