functor
(
Appl_params
:
APPL_PARAMS
)
->
ELIOM_APPL