Safe Haskell | None |
---|
- primKindEnv :: Env Name
- primTypeEnv :: Env Name
Documentation
Kind environment containing kinds of primitive data types.
Type environment containing types of primitive operators.
Safe Haskell | None |
---|
Kind environment containing kinds of primitive data types.
Type environment containing types of primitive operators.