src/interactive.mli


1
2
3
4
5
6
7
8
9
10

open Ast
open Type_check

val opt_interactive : bool ref
val opt_emacs_mode : bool ref
val opt_suppress_banner : bool ref

val ast : tannot defs ref

val env : Env.t ref