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