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