package herdtools7

  1. Overview
  2. Docs

Parameters

Signature

module B = NativeBackend
val run_env : (AST.identifier * B.value) list -> AST.t -> B.value B.m

run env0 ast runs the function main of the ast, in an environment build from the ast. However, the (global) identifiers listed in the A-list env0 will take their initial values from env0 and _not_ from ast.

val run : AST.t -> B.value B.m

Shorthand for run [] ast

val run_typed : AST.t -> StaticEnv.env -> B.value B.m

run_typed ast env runs the function main of the typed-checked ast, in typed-checking environment env.

OCaml

Innovation. Community. Security.