val required : 'a Core__Command.Arg_type.t ‑> 'a tval optional : 'a Core__Command.Arg_type.t ‑> 'a option tval optional_with_default : 'a ‑> 'a Core__Command.Arg_type.t ‑> 'a tval listed : 'a Core__Command.Arg_type.t ‑> 'a list tval one_or_more : 'a Core__Command.Arg_type.t ‑> ('a * 'a list) tval no_arg : bool tval no_arg_register : key:'a Core__.Import.Univ_map.With_default.Key.t ‑> value:'a ‑> bool tval no_arg_abort : exit:(unit ‑> Core__.Import.never_returns) ‑> unit tval escape : string list option t