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.TypesSource
An identifier
Source
type expr = | Unit| Integer of int| Boolean of bool| Symbol of ide| List of list_pattern| Head of expr| Tail of expr| Cons of expr * expr| 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
Typing exception
List exceptions *
Exception to represent a syntax error