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