Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » Instrumentation » SemanticsNoInstr

Module `Instrumentation.SemanticsNoInstr`Source

Sourceval use : semantics_rule -> unit

Sourceval use_with : 'a -> semantics_rule -> 'a