sig   val add_inc : string -> (unit, string) Pervasives.result   val rem_inc : string -> (unit, string) Pervasives.result   val load_ml : string -> (unit, string) Pervasives.result   val load_obj : string -> (unit, string) Pervasives.result   val is_nat : unit -> bool   module type TOPDIRS =     sig       val dir_directory : string -> unit       val dir_remove_directory : string -> unit       val dir_use : Format.formatter -> string -> unit       val dir_load : Format.formatter -> string -> unit     end   val set_topdirs : is_nat:bool -> (module Omod.Private.Top.TOPDIRS-> unit end