module Clause:sig
..end
Clause.Make
).
Now clauses also have a trail, that is, a set of boolean literals
that it depends upon as a conditional guard.val stat_clause_create : Logtk.Util.stat
module type S = Clause_intf.S
type 'c
sets = {
|
c_set : |
(* |
main set of clauses
| *) |
|
c_sos : |
(* |
set of support
| *) |
module Make: