module Analysis: sig .. end
sig
end
module Make: functor (S : Lattice.S) -> sig .. end
functor (
S
:
Lattice.S
) ->