Data.Proof

Types

data ProofTreeGen a

type ProofTree

type ProofMap

type IdSet

Constructors

buildProofTree

buildProofMap

Internals

getParents

getParentsTree

unknownTree