Module M'.Conversion

module From_Arity = L.Monadic_Arity
module To_Arity = Monadic_Arity
val ar1 : ('a -> 'b L.Monadic_Arity.m) -> 'c -> 'b Monadic_Arity.m
val ar2 : ('a -> 'b -> 'c L.Monadic_Arity.m) -> 'd -> 'e -> 'c Monadic_Arity.m
val ar3 : ('a -> 'b -> 'c -> 'd L.Monadic_Arity.m) -> 'e -> 'f -> 'g -> 'd Monadic_Arity.m
val variadic : ('a -> 'b L.Monadic_Arity.m) -> 'c -> 'b Monadic_Arity.m