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