Module Conversion.From_Arity
type !'r ar0 = D.Context.t -> 'rtype (!'a, !'r) ar1 = D.Context.t -> 'a -> 'rtype (!'a, !'b, !'r) ar2 = D.Context.t -> 'a -> 'b -> 'rtype (!'a, !'b, !'c, !'r) ar3 = D.Context.t -> 'a -> 'b -> 'c -> 'rtype (!'a, !'r) variadic = D.Context.t -> 'a list -> 'r