mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-07 11:45:41 -05:00
4 lines
147 B
Text
4 lines
147 B
Text
t1: f (g x) y
|
|
loc(t1): at line 0, column 0 - at line 0, column 9
|
|
t2: let x := 1 in (f (f x 2))
|
|
loc(t2): at line 0, column 0 - at line 0, column 21
|