Module StmtSemantics

module StmtSemantics: sig .. end
Compilation environment

used for substituting directly values without going through terms. Good for memory models, avoid unneeded conversions.


module Make: 
functor (Compiler : Sigs.Compiler-> sig .. end