herdtools7.asllib
Asllib.Instrumentation
Provide some instrumentation backends for Interpreter and Typing.
Interpreter
Typing
module SemanticsRule : sig ... end
type semantics_rule = SemanticsRule.t
module SemanticsCmp : Set.OrderedType with type t = semantics_rule
module TypingRule : sig ... end
type typing_rule = TypingRule.t
module TypingCmp : Set.OrderedType with type t = typing_rule
module SemanticsSet : sig ... end
module TypingSet : sig ... end
module SemanticsMap : sig ... end
module TypingsMap : sig ... end
module type SEMINSTR = sig ... end
module type TYPINSTR = sig ... end
module type SEMBUFFER = sig ... end
module type TYPBUFFER = sig ... end
module SemMake (Buffer : SEMBUFFER) : SEMINSTR
module TypMake (Buffer : TYPBUFFER) : TYPINSTR
module SemanticsNoBuffer : SEMBUFFER
module TypingNoBuffer : TYPBUFFER
module SemanticsSingleBuffer : SEMBUFFER
module TypingSingleBuffer : TYPBUFFER
module SemanticsSingleSetBuffer : SEMBUFFER
module TypingSingleSetBuffer : TYPBUFFER
module SemanticsNoInstr : sig ... end
module TypingNoInstr : sig ... end
module SemanticsSingleInstr : sig ... end
module TypingSingleInstr : sig ... end
module SemanticsSingleSetInstr : sig ... end
module TypingSingleSetInstr : sig ... end
val (|:) : 'a -> typing_rule -> 'a