package minicaml

  1. Overview
  2. Docs

Module Minicaml.EvalSource

Numerical Primitives

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

Evaluate an expression in an environment

OCaml

Innovation. Community. Security.