Module Clause_intf

module Clause_intf: sig .. end

type proof_step = Logtk.Proof.Step.t 

type proof = Logtk.Proof.S.t 

module type S = sig .. end