module Passive: sig
.. end
Passive Forms
type
binding =
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