functor
(
M
:
Accessors1
)
->
sig
end