Imandra_interactive.Obtain_file
val of_file : ?syntax:Imandra_syntax.Syntax.t -> string -> Parsetree.toplevel_phrase list * Imandra_util.Iloc.Input.t