Module Wp.Passive

module Passive: sig .. end


Passive Forms
type t 
val empty : t
val is_empty : t -> bool
val union : t -> t -> t
val bind : fresh:Wp.Lang.F.var -> bound:Wp.Lang.F.var -> t -> t
val join : Wp.Lang.F.var -> Wp.Lang.F.var -> t -> t
val conditions : t -> (Wp.Lang.F.var -> bool) -> Wp.Lang.F.pred list
val apply : t -> Wp.Lang.F.pred -> Wp.Lang.F.pred
type binding = 
| Bind of Wp.Lang.F.var * Wp.Lang.F.var
| Join of Wp.Lang.F.var * Wp.Lang.F.var
val iter : (binding -> unit) -> t -> unit
val pretty : Format.formatter -> t -> unit