[metafunctor]

Usually that would go to the documentation of the parameter, plus a run-time assertion to check that received values are valid.

[jb1991]

But the best documentation is the code itself that is documentation. I mean, well that’s kind of a cliché, but names can carry a lot of meaning.