Init (imandra-base.Imandra_interactive.Init)

Initialisation

Do not use, for internal use only

val with_redirect_logs : 
  ?file:string ->
  append:bool ->
  ( unit -> unit ) ->
  unit

val load_ocaml_deps : ?full:bool -> unit -> unit

val init_ocaml_interp : ?full:bool -> unit -> unit

val setup_commands : lockdown:bool -> unit

Install directives