Safe Haskell | None |
---|
DDC.Core.Annot.AnT
Documentation
The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.
ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker.
Safe Haskell | None |
---|
DDC.Core.Annot.AnT
The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.