Imandra_interactive.Util_packages
val init_ocamlfind : unit -> unit
val ocamlfind_dir_of_lib : string -> string
val ocamlfind_require : string -> unit
val ocamlfind_list : unit -> string list