val error_of_exn : exn -> Location.error optionval get_load_paths : unit -> string listval load_path_init : string list -> unitval get_unboxed_types : unit -> boolval set_unboxed_types : bool -> unitval may_map : ('a -> 'b) -> 'a option -> 'b option