Safe Haskell	None

DDC.Core.Annot.AnT

Synopsis

Documentation

data AnT a n Source

The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.

Constructors

AnT
Fields annotType :: Type n annotTail :: a

Instances

Typeable2 AnT
(Show a, Show n) => Show (AnT a n)
Pretty (AnT a n)
(NFData a, NFData n) => NFData (AnT a n)