module M: sig .. end
sig
end
include struct ... end
val add_binding : t -> Locations.location -> y -> t
t -> Locations.location -> y -> t