Domain_sig.Make_Convert
module C : Convert_Contexts
module From_Arity : sig ... end
module To_Arity : sig ... end
val ar0 : (C.To.t -> 'a) -> C.From.t -> 'b
val ar1 : (C.To.t -> 'a) -> C.From.t -> 'a
val ar2 : (C.To.t -> 'a) -> C.From.t -> 'a
val ar3 : (C.To.t -> 'a) -> C.From.t -> 'a
val variadic : (C.To.t -> 'a) -> C.From.t -> 'a