Module Function_Froms.Deps

module Deps: sig .. end

type from_deps = {
   data : Locations.Zone.t;
   indirect : Locations.Zone.t;
}
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