@[implicit_reducible]

instance Array.instFunctor_extra : Functor Array

Equations

• Array.instFunctor_extra = { map := fun {α β : Type ?u.1} => Array.map }