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