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