Safe Haskell | None |
---|
Documentation
mkProofTerm :: Term -> ProofTermSource
getProofTerm :: ProofTerm -> TermSource
bound_in_term :: Term -> [Name]Source
Safe Haskell | None |
---|
mkProofTerm :: Term -> ProofTermSource
getProofTerm :: ProofTerm -> TermSource
bound_in_term :: Term -> [Name]Source