Module Libzipperposition.Clause_intf
type proof_step= Logtk.Proof.Step.ttype proof= Logtk.Proof.S.t
module type S = sig ... endLibzipperposition.Clause_intftype proof_step = Logtk.Proof.Step.ttype proof = Logtk.Proof.S.tmodule type S = sig ... end