[LudwigNagasena]

I would simply put this in the description of the parameter. That’s what it is for; after all, not every constraint is computable or easy to check.