14 lines
409 B
Text
14 lines
409 B
Text
[Compiler.saveMono] size: 1
|
|
def foo._lam_0 x a.1 : Nat :=
|
|
let _x.2 := Nat.add a.1 x
|
|
_x.2
|
|
[Compiler.saveMono] size: 2
|
|
def foo x xs : List Nat :=
|
|
let _f.1 := foo._lam_0 x
|
|
let _x.2 := List.map._at_.map.spec_0 _f.1 xs
|
|
_x.2
|
|
[Compiler.saveMono] size: 2
|
|
def boo x xs : List Nat :=
|
|
let _f.1 := foo._lam_0 x
|
|
let _x.2 := List.map._at_.map.spec_0 _f.1 xs
|
|
_x.2
|