Module Conditions.Bundle

module Bundle: sig .. end

type t = Lang.F.Vars.t * SEQ.t 
val vars : 'a * 'b -> 'a
val add : Conditions.step ->
Lang.F.Vars.t * SEQ.t ->
Lang.F.Vars.t * SEQ.t
val empty : Lang.F.Vars.t * 'a list
val is_empty : 'a * 'b list -> bool
val factorize : 'a * SEQ.t ->
'b * SEQ.t ->
(Lang.F.Vars.t * SEQ.t) *
(Lang.F.Vars.t * SEQ.t) *
(Lang.F.Vars.t * SEQ.t)
val big_inter : ('a * SEQ.t) list ->
Lang.F.Vars.t * SEQ.t
val diff : 'a * SEQ.t ->
'b * SEQ.t -> Lang.F.Vars.t * SEQ.t
val freeze : 'a * ('b * 'c) list -> 'a * 'c list
val map : (Conditions.condition -> 'a) -> 'b * ('c * Conditions.step) list -> 'a list
val is_true : 'a * ('b * Conditions.step) list -> Qed.Logic.maybe