global_functor.v 5.47 KB