Module Pure.ProofTreeSource

Abstract representation of a proof.

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval fold : ('a -> Tactic.t -> int -> 'a) -> 'a -> t -> 'a