Constrained genericity: Difference between revisions

Content added Content deleted
m (Nim: the "generic" keyword is now deprecated in favor of the new "concept")
Line 887: Line 887:
=={{header|Nim}}==
=={{header|Nim}}==
<lang nim>type
<lang nim>type
Eatable = generic e
Eatable = concept e
eat(e)
eat(e)