global_functor.v 2.43 KB