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