sig
  type run_options = { html_errors : bool; backtraces : bool; }
  val add_include_dir : string -> unit
  val process : string -> TypeCore.env
  val run : Driver.run_options -> (unit -> 'a) -> 'a
  val print_signature : Buffer.t -> TypeCore.env -> unit
  val interpret : string -> unit
end