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