module Clause_intf: sig .. end
sig
end
type proof_step = Proof.Step.t
Proof.Step.t
type proof = Proof.S.t
Proof.S.t
module type S = sig .. end