functor
(
Error
:
Error
)
->
sig
end