Module Passive

module Passive: sig .. end
Passive Forms

type binding = 
| B1 of Lang.F.var * Lang.F.pred
| B2 of Lang.F.var * Lang.F.var * Lang.F.pred
type t = binding list 
val empty : 'a list
val union : 'a list -> 'a list -> 'a list
val bind : fresh:Lang.F.var ->
bound:Lang.F.var -> binding list -> binding list
val join : Lang.F.var -> Lang.F.var -> binding list -> binding list
val collect : (Lang.F.var -> bool) ->
Lang.F.pred list -> binding list -> Lang.F.pred list
val apply : binding list -> Lang.F.pred -> Lang.F.pred
val conditions : binding list -> (Lang.F.var -> bool) -> Lang.F.pred list
val pretty : Format.formatter -> binding list -> unit