Module Convert_to_monadic.Conversion

module From_Arity : sig ... end

module To_Arity : sig ... end

val ar0 : ('a -> 'b) -> 'a -> 'b * 'a

val ar1 : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c * 'a

val ar2 : ('a -> 'b -> 'c -> 'd) -> 'b -> 'c -> 'a -> 'd * 'a

val ar3 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'b -> 'c -> 'd -> 'a -> 'e * 'a