package minicaml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Minicaml.Types
Source
An identifier
Source
type expr =
| Integer of int
| Boolean of bool
| Symbol of ide
| Sum of expr * expr
| Sub of expr * expr
| Mult of expr * expr
| Eq of expr * expr
| Gt of expr * expr
| Lt of expr * expr
| And of expr * expr
| Or of expr * expr
| Not of expr
| IfThenElse of expr * expr * expr
| Let of ide * expr * expr
| Letrec of ide * expr * expr
| Lambda of ide list * expr
| Apply of expr * expr list
A purely functional environment type, parametrized
A type that represents an evaluated (reduced) value
Exception to specify an unbound value
Exception that indicates an erroneous usage of bindlist
Exception to represent a syntax error