Module Function_Froms.Deps

module Deps: sig .. end

type deps = {
   data : Locations.Zone.t;
   indirect : Locations.Zone.t;
}
val bottom : deps
val top : deps
val join : deps ->
deps -> deps
val to_zone : deps -> Locations.Zone.t
val add_data_dep : deps -> Locations.Zone.t -> deps
val add_indirect_dep : deps -> Locations.Zone.t -> deps
val from_data_deps : Locations.Zone.t -> deps
val from_indirect_deps : Locations.Zone.t -> deps
val map : (Locations.Zone.t -> Locations.Zone.t) ->
deps -> deps
include Datatype.S
val pretty_precise : Format.formatter -> t -> unit