Module Base__.Applicative_intf.Args_to_Args2

Parameters

Signature

type ('a, 'e) arg = 'a X.arg
type ('f, 'r, 'e) t = ('f'rX.t
val nil : ('r'r_t
val cons : ('a'earg ‑> ('f'r'et ‑> ('a ‑> 'f'r'et
val (@>) : ('a'earg ‑> ('f'r'et ‑> ('a ‑> 'f'r'et
val step : ('f1'r'et ‑> f:('f2 ‑> 'f1) ‑> ('f2'r'et
val mapN : f:'f ‑> ('f'r'et ‑> ('r'earg
val applyN : ('f'earg ‑> ('f'r'et ‑> ('r'earg