Module type Sig.Arity

type 'r ar0
type ('a, 'r) ar1
type ('a, 'b, 'r) ar2
type ('a, 'b, 'c, 'r) ar3