package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Minicaml.Eval`Source

Sourcemodule T = ANSITerminal

Numerical Primitives

Sourceval integer_sum : (Types.evt * Types.evt) -> Types.evt

Sourceval integer_sub : (Types.evt * Types.evt) -> Types.evt

Sourceval integer_mult : (Types.evt * Types.evt) -> Types.evt

Sourceval equals : (Types.evt * Types.evt) -> Types.evt

Sourceval greater : (Types.evt * Types.evt) -> Types.evt

Sourceval less : (Types.evt * Types.evt) -> Types.evt

Boolean primitives

Sourceval bool_and : (Types.evt * Types.evt) -> Types.evt

Sourceval bool_or : (Types.evt * Types.evt) -> Types.evt

Sourceval bool_not : Types.evt -> Types.evt

Sourceval eval : Types.expr -> Types.env_type -> int -> Types.evt

Evaluate an expression in an environment

Sourceval eval_list : Types.list_pattern -> Types.env_type -> int -> Types.evt list