module Clause: sig .. end
sig
end
Clause.Make
val stat_clause_create : Logtk.Util.stat
Logtk.Util.stat
module type S = Clause_intf.S
Clause_intf.S
module Make: functor (Ctx : Ctx.S) -> S with module Ctx = Ctx
functor (
Ctx
:
Ctx.S
) ->
S
with module Ctx = Ctx