module Anons: sig .. end
sig
end
type 'a t
'a
val map : f:('a -> 'b) -> 'a t -> 'b t
f:('a -> 'b) -> 'a t -> 'b t