KEY_PAIR()

Unordered pair of two identity keys from one family

Signatures

Returns: lo is the lesser key and hi the greater; G is the shared family

KEY_PAIR(a: T#E, b: T#F) → ROW(lo T#G, hi T#G)

sql

Parameter	Type	Required	Description
`a`	`T#E`	Yes	First identity key
`b`	`T#F`	Yes	Second identity key of the same family and base type

Signature notes: NULL on either side makes the whole row NULL. KEY_PAIR(k, k) has lo and hi both equal to k.