module StmtSemantics: sig .. end
sig
end
used for substituting directly values without going through terms. Good for memory models, avoid unneeded conversions.
module Make: functor (Compiler : Sigs.Compiler) -> sig .. end
functor (
Compiler
:
Sigs.Compiler
) ->