package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

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

val eval : 
  Types.expr ->
  Types.env_type ->
  Types.stackframe ->
  bool ->
  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