Imandra_interactive.Completion_ocaml
val from_ocaml_env : Completion.source
val from_ocamlfind : Completion.source
val from_files : Completion.source
val add_methods : unit -> unit