Algebraic data types: Difference between revisions
Content added Content deleted
m (→{{header|Tailspin}}: better text) |
(→{{header|Tailspin}}: Add local datatype definition because sum types must be explicitly declared.) |
||
| Line 2,115: | Line 2,115: | ||
<lang tailspin> |
<lang tailspin> |
||
processor RedBlackTree |
processor RedBlackTree |
||
data node <{VOID}|{colour: <='black'|='red'>, left: <node>, right: <node>, value: <> VOID}> local |
|||
@: {}; |
@: {}; |
||
sink insert |
sink insert |
||