sig
module
Arg
:
Types
.
Mono
.
Arbitrary
val
desc : string
val
law :
Arg
.t
->
bool
end