An IPv6 network mask as a 128-bit unsigned bigint, e.g.
0xFFFFFFFFFFFFFFFF0000000000000000n for /64.
A mask stored in a MaskedCidrv6 is kept as given and is not required to be contiguous; only cidrv6PrefixLength insists on that, because it has no answer otherwise (ADR 0006).