functor
(
F
:
INTERNAL
)
->
sig
end