type native_value = | NV_Literal of AST.literal| NV_Vector of native_value list| NV_Record of native_value ASTUtils.IMap.tmodule NoScope : Backend.SCOPE with type t = unitmodule StaticBackend :
Backend.S
with type value = native_value
and type 'a m = 'a
and module Scope = NoScopemodule DeterministicBackend :
Backend.S
with type value = native_value
and type 'a m = 'a
and module Scope = NoScopemodule DeterministicInterpreter
(C : Interpreter.Config) :
Interpreter.S with module B = DeterministicBackendval interprete :
?instrumentation:bool ->
StaticEnv.global ->
AST.t ->
int * Instrumentation.semantics_rule list