package minicaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module T = ANSITerminal

Numerical Primitives

val integer_sum : (Types.evt * Types.evt) -> Types.evt
val integer_sub : (Types.evt * Types.evt) -> Types.evt
val integer_mult : (Types.evt * Types.evt) -> Types.evt
val equals : (Types.evt * Types.evt) -> Types.evt
val greater : (Types.evt * Types.evt) -> Types.evt
val less : (Types.evt * Types.evt) -> Types.evt

Boolean primitives

val bool_and : (Types.evt * Types.evt) -> Types.evt
val bool_or : (Types.evt * Types.evt) -> Types.evt
val bool_not : Types.evt -> Types.evt

Evaluate an expression in an environment

val eval_list : Types.list_pattern -> Types.env_type -> Types.stackframe -> bool -> Types.evt list
val lookup : Types.env_type -> Types.ide -> Types.stackframe -> bool -> Types.evt
OCaml

Innovation. Community. Security.