functor.v 1.16 KB