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