functor
(
Empty
:
sig
end
)
->
Global_intf