global_functor.v 4.52 KB