Module Make_Convert.To_Arity
type (!'a0, !'r0) ar1 = C.From.t -> 'a -> 'r
type (!'a0, !'b0, !'r0) ar2 = C.From.t -> 'a -> 'b -> 'r
type (!'a0, !'b0, !'c0, !'r0) ar3 = C.From.t -> 'a -> 'b -> 'c -> 'r
type (!'a0, !'r0) variadic = C.From.t -> 'a list -> 'r