method _set_keep_going_flag : bool -> unitmethod _set_verbose_flag : bool -> unitmethod add_lines_read : int -> unitmethod add_search_path : string -> unitmethod clear_keep_going_flag : unitmethod clear_lines_read : unitmethod clear_verbose_flag : unitmethod current_filename : stringmethod current_source : 'bmethod exit_source : unitmethod find_path : ?ignore_case:bool -> string -> Storage.file listmethod in_included_file : boolmethod keep_going_flag : boolmethod set_current_filename : string -> unitmethod set_keep_going_flag : unitmethod set_search_path_list : string list -> unitmethod set_verbose_flag : unitmethod source_entered : 'b -> boolmethod verbose_flag : boolmethod verbose_msg : ('a, unit, string, unit) format4 -> 'a