sig val args : unit -> (string * Arg.spec * string) list val default : OASISContext.t Pervasives.ref end