val one : string -> string * 'a arg -> ('a -> unit) -> action
val two : string -> string * 'a arg * string * 'b arg -> ('a * 'b -> unit) -> action
val type_one : string -> 'a arg -> ('a -> bool) -> unit
val one : string -> string * 'a arg -> ('a -> unit) -> action
val two : string -> string * 'a arg * string * 'b arg -> ('a * 'b -> unit) -> action
val type_one : string -> 'a arg -> ('a -> bool) -> unit