module Bundle: sig
.. end
type
t = SEQ.t
val add : Conditions.step -> SEQ.t -> SEQ.t
val empty : 'a list
val is_empty : 'a list -> bool
val factorize : SEQ.t ->
SEQ.t ->
SEQ.t * SEQ.t * SEQ.t
val big_inter : SEQ.t list -> SEQ.t
val diff : SEQ.t -> SEQ.t -> SEQ.t
val freeze : ('a * 'b) list -> 'b list
val map : (Conditions.condition -> 'a) -> ('b * Conditions.step) list -> 'a list
val exists : (Conditions.condition -> bool) -> ('a * Conditions.step) list -> bool
val is_true : ('a * Conditions.step) list -> Qed.Logic.maybe