package minicaml

  1. Overview
  2. Docs
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

Evaluate an expression in an environment

val eval_assignment : Types.evalstate -> (bool * Types.ide * Types.expr) -> Types.evalstate
val eval_assignment_list : Types.assignment_type list -> Types.evalstate -> Types.evalstate
val eval_command : Types.command -> Types.evalstate -> string -> Types.evt * Types.evalstate
val eval_command_list : Types.command list -> Types.evalstate -> string -> Types.evt * Types.evalstate
val eval_directive : Types.directive -> Types.evalstate -> string -> Types.evt * Types.evalstate
OCaml

Innovation. Community. Security.