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