Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Eq TermAlpha Source # | |
Ord TermAlpha Source # | |
Defined in HOL.TermAlpha | |
Show TermAlpha Source # | |
HasConsts TermAlpha Source # | |
HasOps TermAlpha Source # | |
HasVars TermAlpha Source # | |
HasFree TermAlpha Source # | |
CanSubst TermAlpha Source # | |
Defined in HOL.TermAlpha basicSubst :: TermAlpha -> Subst -> (Maybe TermAlpha, Subst) Source # sharingSubst :: TermAlpha -> Subst -> (Maybe TermAlpha, Subst) Source # subst :: Subst -> TermAlpha -> Maybe TermAlpha Source # typeSubst :: TypeSubst -> TermAlpha -> Maybe TermAlpha Source # trySharingSubst :: TermAlpha -> Subst -> (TermAlpha, Subst) Source # trySubst :: Subst -> TermAlpha -> TermAlpha Source # tryTypeSubst :: TypeSubst -> TermAlpha -> TermAlpha Source # | |
Printable TermAlpha Source # | |
standardAxiomName :: TermAlpha -> String Source #