mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
9 lines
174 B
Plaintext
9 lines
174 B
Plaintext
type _Box = (Box val)
|
|
|
|
Box.subst (_Box/Box x) cmp to = switch _ = (cmp x) {
|
|
0: (_Box/Box x)
|
|
_: (_Box/Box to)
|
|
}
|
|
|
|
Main = (Box.subst (_Box/Box 4) @x (== x 4) (_Box/Box 10))
|