Native (p.herdtools7.7.57.doc.herdtools7.asllib.Asllib.Native)

Sourcetype native_value =

| NV_Literal of AST.literal
| NV_Vector of native_value list
| NV_Record of native_value ASTUtils.IMap.t

module NativeBackend : 
  Backend.S with type value = native_value and type 'a m = 'a

Sourceval primitive_decls : AST.decl list

List of primitives declared by the Native Backend.

Source

module NativeInterpreter
  (C : Interpreter.Config) : 
  Interpreter.S with module B = NativeBackend

Source

val interprete : 
  Typing.strictness ->
  ?instrumentation:bool ->
  ?static_env:StaticEnv.env ->
  AST.t ->
  int * Instrumentation.semantics_rule list