builtin.mli 64 Bytes
Newer Older
1
val env: Typer.t
2
  (* Typing environment with built-in types *)