argumentflagty

type argumentflagty = (

  arf_envdefined,

  arf_statdefined,

  arf_setdefined,

  arf_res1,

  arf_res2,

  arf_res3,

  arf_res4,

  arf_mandatory,

  arf_argopt,

  arf_filenames,

  arf_statoverride,

  arf_stataddval,

  arf_unquote,

  arf_integer,

  arf_help

);