Parameter Convert_Boolean_Forward.C
module From_Arity : sig ... endmodule To_Arity : sig ... endval ar0 : 'r From_Arity.ar0 -> 'r To_Arity.ar0val ar1 : ('a, 'r) From_Arity.ar1 -> ('a, 'r) To_Arity.ar1val ar2 : ('a, 'b, 'r) From_Arity.ar2 -> ('a, 'b, 'r) To_Arity.ar2val ar3 : ('a, 'b, 'c, 'r) From_Arity.ar3 -> ('a, 'b, 'c, 'r) To_Arity.ar3