functor (B : sig val function_name : string end-> Parameter_sig.Bool