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

Module `Instrumentation.SemanticsSingleInstr`Source

Sourceval use : semantics_rule -> unit

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