functor (Appl_params : APPL_PARAMS) -> ELIOM_APPL