Concrete.Make
Functor that creates a concrete function graph, i.e., a (finite) partial map whose values are (finite) sets
module XMap : sig ... end
module YSet : sig ... end
include Sigs.MFG with type dom = XMap.key and type codom = YSet.t
type dom = XMap.key
type codom = YSet.t
type t
type strategy
val bot : t
val is_bot : t -> bool
val init : dom -> t
val leq : t -> t -> bool
val map : (dom -> codom) -> t -> t
val apply : t -> dom -> codom
val join : t -> t -> t
val widen_gen : strategy array -> int -> t -> t -> t
val default_strategy : strategy array
val widen : int -> t -> t -> t
val pp : Stdlib.Format.formatter -> t -> unit
val meet : t -> t -> t
val iter : (dom -> codom -> unit) -> t -> unit
val dom : t -> dom list