Module Args.Spec

module Arg : sig ... end
type 'a t =
| ([]) : 'a t
| (::) : 'a Arg.t * 'b t -> ('a -> 'b) t