10 lines
153 B
Plaintext
10 lines
153 B
Plaintext
Numbered: (& [number]:Int)
|
|
Number: Int
|
|
Number.[number]: Int = [.this]
|
|
|
|
[main]: I32 'main' = {
|
|
num:Number = 9
|
|
ifa:Numbered = num
|
|
[~I32 ifa.[number]]
|
|
}
|