4.9.13 Valency

A valency is a record whose arity is a finite domain of constants, and whose type at all fields is a set of integers called cardinality set. This is a type synonym for a Map type with the same domain and co-domain card.

4.9.13.1 Example

Here is an example valency type definition with domain type ref("domain"):

     deftype "valency" ref("domain")