Domain_sig.Context_Arity_Forward
module Context : Context
type 'r ar0 = Context.t -> 'r
type ('a, 'r) ar1 = Context.t -> 'a -> 'r
type ('a, 'b, 'r) ar2 = Context.t -> 'a -> 'b -> 'r
type ('a, 'b, 'c, 'r) ar3 = Context.t -> 'a -> 'b -> 'c -> 'r
type ('a, 'r) variadic = Context.t -> 'a list -> 'r