Variable securityDomainConst

securityDomain: FiniteDomain<
    typeof Top,
    typeof Bottom,
    [
        typeof Top,
        typeof Bottom,
        typeof UserInput,
        typeof NetworkInput,
        typeof FileInput,
    ],
> = ...