functor
(
S
:
Irmin
.
AO_MAKER_RAW
)
->
Irmin
.
AO_MAKER_RAW