Module Wp.PassiveSource

Passive Forms

Sourcetype t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval union : t -> t -> t
Sourceval bind : fresh:Lang.F.var -> bound:Lang.F.var -> t -> t
Sourceval join : Lang.F.var -> Lang.F.var -> t -> t
Sourceval conditions : t -> (Lang.F.var -> bool) -> Lang.F.pred list
Sourceval apply : t -> Lang.F.pred -> Lang.F.pred
Sourcetype binding =
  1. | Bind of Lang.F.var * Lang.F.var
  2. | Join of Lang.F.var * Lang.F.var
Sourceval iter : (binding -> unit) -> t -> unit
Sourceval pretty : Format.formatter -> t -> unit