Module NonRelationalDomain.Domain_Arity

type !'r ar0 = t -> 'r -> t

type (!'a, !'r) ar1 = t -> 'a -> 'r -> t

type (!'a, !'b, !'r) ar2 = t -> 'a -> 'b -> 'r -> t

type (!'a, !'b, !'c, !'r) ar3 = t -> 'a -> 'b -> 'c -> 'r -> t

type (!'a, 'r) variadic = t -> 'a list -> t