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

Module `Instrumentation.TypMake`Source

Parameters

module Buffer : TYPBUFFER

Sourceval use : typing_rule -> unit

Sourceval use_with : 'a -> typing_rule -> 'a