- core-initialize:procedure
Given procedures to add entries to a type environment, creates the constants of the mini-ML language.
The following types and constants are currently included:
- Type 'a -> 'b
- Type 'a * 'b
- Type 'a list
- Type real
- Type nat
- Type bool
- Type label
- Type string
- Type bot
- Constant false : bool
- Constant true : bool
- Constant empty : bot
- Constants add sub mul div : nat -> nat -> nat
- Constants == <> < <= > >= : nat -> nat -> bool
- Constant pair : 'a -> 'b -> 'a * 'b
- Constant fst : 'a * 'b -> 'a
- Constant snd : 'a * 'b -> 'b
- Constant null : 'a list
- Constant cons : 'a -> a' list -> 'a list
- Constant head : a' list -> 'a
- Constant tail : a' list -> 'a list
- Constant cond : bool -> 'a -> 'a -> 'a