functor (X : Parameter_input-> BOOL