Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/protectedAlias.lean.expected.out
blob: 20030271b39a6f6ff4453faabefcad8d47d77ec6 [file] [edit]
Nat.double (x : Nat) : Nat
protectedAlias.lean:9:7-9:13: error: unknown identifier 'double'