Generic parameters
Unbounded generics parse and travel the wire; bounded generics are rejected
(OE0667). The conditional-impl coherence theorem (Argon.TypeSystem.Conditional) is mechanized.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
Unbounded generics parse and travel the wire; bounded generics are rejected
(OE0667). The conditional-impl coherence theorem (Argon.TypeSystem.Conditional) is mechanized.