module Args: sig .. end
sig
end
type ('a, 'r) t =
('a, 'r)
|
[] : ('r0, 'r0) t
('r0, 'r0) t
(::) : 'a0 * ('b, 'r1) t -> ('a0 -> 'b, 'r1) t
'a0 * ('b, 'r1) t
('a0 -> 'b, 'r1) t
val apply : 'a -> ('a, 'r) t -> 'r
'a -> ('a, 'r) t -> 'r
val (@) : ('a, 'r1) t -> ('r1, 'r2) t -> ('a, 'r2) t
('a, 'r1) t -> ('r1, 'r2) t -> ('a, 'r2) t