8 lines
171 B
Text
8 lines
171 B
Text
|
[ [] ] is queue ( --> q )
|
||
|
|
|
||
|
|
[ nested join ] is push ( q x --> q )
|
||
|
|
|
||
|
|
[ behead ] is pop ( q --> q x )
|
||
|
|
|
||
|
|
[ [] = ] is empty? ( q --> b )
|