module Ctx:sig
..end
typet =
Zones.Data.t Inthash.t
val create : int -> 'a Inthash.t
val find : 'a Inthash.t -> int -> 'a
val add : Locations.Zone.t Inthash.t -> int -> Locations.Zone.t -> unit
val pretty : Format.formatter -> Locations.Zone.t Inthash.t -> unit