module Deps:sig
..end
type
from_deps = {
|
data : |
|
indirect : |
include Lmap_bitwise.With_default
val add_data_dep : t -> Locations.Zone.t -> t
val add_indirect_dep : t -> Locations.Zone.t -> t
val subst : (Locations.Zone.t -> Locations.Zone.t) -> t -> t
val data_deps : Locations.Zone.t -> t
val indirect_deps : Locations.Zone.t -> t
val pretty_precise : Format.formatter -> t -> unit
val to_zone : t -> Locations.Zone.t