src/interactive.ml


1
2
3
4
5
6
7
8

let opt_interactive = ref false
let opt_emacs_mode = ref false
let opt_suppress_banner = ref false

let env = ref Type_check.initial_env

let ast = ref (Ast.Defs [])