module Disjunct: sig .. end
sig
end
type disjunct
val is_wp_semantics_true : disjunct -> bool
disjunct -> bool
val get_fact : disjunct -> Fact.fact
disjunct -> Fact.fact
val get_predicate : disjunct -> Predicate.predicate
disjunct -> Predicate.predicate
val get_complements : disjunct -> Fact.fact list
disjunct -> Fact.fact list