package minicaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
val expand_list : expr list -> list_patternval show_expr : expr -> stringval show_list : list_pattern -> stringval show_evt : evt -> stringFunction to get a string representation of an evaluated type