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