package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Module `Minicaml.Eval`

module T = ANSITerminal

Boolean Primitives

val bool_binop : (Types.evt * Types.evt) -> (bool -> bool -> bool) -> Types.evt

val bool_unop : Types.evt -> (bool -> bool) -> Types.evt

val uniqueorfail : 'a list -> 'a list

val eval : Types.expr -> Types.evalstate -> Types.evt

Evaluate an expression in an environment

val lookup : Types.ide -> Types.evalstate -> Types.evt

val lookup_env : Types.ide -> Types.evalstate -> Types.evt

val applyfun : 
  Types.evt ->
  Types.type_wrapper list ->
  Types.evalstate ->
  Types.evt