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