functor (X : Parameter_input-> Plugin.BOOL