Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/appParserIssue.lean.expected.out
blob: a3c322097ace0f6f66fa8f0bf9afd092933e9913 [file] [edit]
f 1 fun x => x : Nat
f 1 fun x => x : Nat
f 1 fun x => x : Nat
f 1 fun x => x : Nat
f 1 fun x => x : Nat