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 : Libzipperposition.Util.stat
module type S = Clause_intf.S
module Make: