Module Conversion.To_Arity

val (let*) : ('a -> 'b * 'c) -> ('b -> 'c -> 'd) -> 'a -> 'd

type !'r ar0 = D.Context.t -> 'r * D.Context.t

type (!'a, !'r) ar1 = 'a -> D.Context.t -> 'r * D.Context.t

type (!'a, !'b, !'r) ar2 = 'a -> 'b -> D.Context.t -> 'r * D.Context.t

type (!'a, !'b, !'c, !'r) ar3 = 'a -> 'b -> 'c -> D.Context.t -> 'r * D.Context.t

type (!'a, !'r) variadic = 'a list -> D.Context.t -> 'r * D.Context.t