Module HoareDomain.HoarePOSource

Parameters

module E : Lattice.PO

Signature

Sourcetype bucket = E.t list
Sourcemodule B : sig ... end
Sourceval elements : 'a list Map.t -> 'a list
Sourceval merge : [< `Join | `Meet Join ] -> ('a -> 'a -> 'a) -> 'a list Map.t -> 'a list Map.t -> 'a list Map.t
Sourceval merge_meet : ('a -> 'b -> 'c) -> 'b list Map.t -> 'a list Map.t -> 'c list Map.t
Sourceval merge_widen : (E.t -> E.t -> E.t) -> E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval merge_join : (E.t -> E.t -> E.t) -> E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval join : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval widen : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval meet : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval narrow : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval of_list_by : (E.t -> E.t -> E.t) -> E.t list -> E.t list Map.t
Sourceval of_list : E.t list -> E.t list Map.t
Sourceval singleton : E.t -> E.t list Map.t
Sourceval exists : ('a -> bool) -> 'a list Map.t -> bool
Sourceval for_all : ('a -> bool) -> 'a list Map.t -> bool
Sourceval mem : E.t -> E.t list Map.t -> bool
Sourceval choose : 'a list Map.t -> 'a
Sourceval apply_list : ('a list -> E.t list) -> 'a list Map.t -> E.t list Map.t
Sourceval map : ('a -> E.t) -> 'a list Map.t -> E.t list Map.t
Sourceval filter : (E.t -> bool) -> E.t list Map.t -> E.t list Map.t
Sourceval remove : E.t -> E.t list Map.t -> E.t list Map.t
Sourceval add : E.t -> E.t list Map.t -> E.t list Map.t
Sourceval fold : ('a -> 'b -> 'b) -> 'a list Map.t -> 'b -> 'b
Sourceval cardinal : 'a list Map.t -> int
Sourceval diff : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval empty : unit -> 'a Map.t
Sourceval is_empty : 'a Map.t -> bool
Sourceval union : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval iter : ('a -> unit) -> 'a list Map.t -> unit
Sourceval bot : unit -> 'a Map.t
Sourceval is_bot : 'a Map.t -> bool
Sourceval top : unit -> 'a
Sourceval is_top : 'a -> bool
Sourceval leq : E.t list Map.t -> E.t list Map.t -> bool
Sourceval name : unit -> string
Sourceval equal : E.t list Map.t -> E.t list Map.t -> bool
Sourceval hash : E.t list Map.t -> int
Sourceval compare : E.t list Map.t -> E.t list Map.t -> int
Sourceval show : E.t list Map.t -> string
Sourceval to_yojson : E.t list Map.t -> [> `List of Yojson.Safe.t list ]
Sourceval pretty : unit -> E.t list Map.t -> Pretty.doc
Sourceval pretty_diff : unit -> (t * t) -> Pretty.doc
Sourceval printXml : 'a BatInnerIO.output -> E.t list Map.t -> unit