module F: sig .. end
sig
end
val id : 'a -> 'a
'a -> 'a
val curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c
('a * 'b -> 'c) -> 'a -> 'b -> 'c
val uncurry : ('a -> 'b -> 'c) -> 'a * 'b -> 'c
('a -> 'b -> 'c) -> 'a * 'b -> 'c