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