type (!'c, !'d, !'e, !'h, !'i, !'j) conv =
('c, 'd, 'e, 'h, 'i, 'j) Resto_directory.Make(Mavryk_rpc.Encoding).Curry.conv =
| Z : (unit, 'g, 'g, unit, 'f, 'f) conv| S : ('t, 'g0, 'b * 's, 'rt, 'f0, 'r) conv -> ('t * 'b,
'g0,
's,
'a * 'rt,
'a ->
'f0,
'r)
conv
val curry : ('a, 'b, unit, 'b, 'c, 'd) conv -> 'c -> 'a -> 'd