module Deps:sig
..end
type
deps = {
|
data : |
|
indirect : |
}
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 : Stdlib.Format.formatter -> t -> unit