module type Basic2 = sig .. end
sig
end
type ('_, '_) t
('_, '_)
val map : ('a -> 'b) -> ('p, 'a) t -> ('p, 'b) t
('a -> 'b) -> ('p, 'a) t -> ('p, 'b) t