Well-formedness check for domain functions: if they are unique, then they have to be nullary.
Well-formedness check for domain functions: if they are unique, then they have to be nullary.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors