Module Prim.Args

module Spec : sig ... end
type ('a, 'b) t =
| A0 : unit -> ('a, 'a) t
| A1 : 'a -> ('a -> 'b, 'b) t
| A2 : 'a * 'b -> ('a -> 'b -> 'c, 'c) t
| A3 : 'a * 'b * 'c -> ('a -> 'b -> 'c -> 'd, 'd) t
| A4 : 'a * 'b * 'c * 'd -> ('a -> 'b -> 'c -> 'd -> 'e, 'e) t
| A5 : 'a * 'b * 'c * 'd * 'e -> ('a -> 'b -> 'c -> 'd -> 'e -> 'f, 'f) t
val apply : ('env -> 'a) -> 'env -> ('a, 'b) t -> 'b