functor
(
OP
:
OptionalParameters
)
->
S