package minicaml

  1. Overview
  2. Docs
module T = ANSITerminal

Numerical Primitives

val int_binop : (Types.evt * Types.evt) -> (int -> int -> int) -> Types.evt
val bool_binop : (Types.evt * Types.evt) -> (bool -> bool -> bool) -> Types.evt
val bool_unop : Types.evt -> (bool -> bool) -> Types.evt
val uniqueorfail : ('a * 'b) list -> ('a * 'b) list

Evaluate an expression in an environment

val lookup_env : Types.env_type -> Types.ide -> (Types.expr -> Types.evt) -> Types.evt
OCaml

Innovation. Community. Security.