Module Passive

module Passive: sig .. end
Passive Forms


Passive Forms
type t 
val empty : t
val union : t -> t -> t
val bind : fresh:Lang.F.var -> bound:Lang.F.var -> t -> t
val join : Lang.F.var -> Lang.F.var -> t -> t
val conditions : t -> (Lang.F.var -> bool) -> Lang.F.pred list
val apply : t -> Lang.F.pred -> Lang.F.pred
val pretty : Format.formatter -> t -> unit