Language.SequentCore.Syntax
data Term b
data Cont b
data Command b
data Bind b
data Alt b
data AltCon
data Expr a
type Program a
type ContId
type SeqCoreTerm
type SeqCoreCont
type SeqCoreCommand
type SeqCoreBind
type SeqCoreBndr
type SeqCoreAlt
type SeqCoreExpr
type SeqCoreProgram
class AlphaEq a
type AlphaEnv
class HasId a