Variable: Counter

const Counter: BrandType<BrandType<Type<"Brand", number & Brand<"Int"> & Brand<"NonNegative">, number, NonNegativeError, number & Brand<"Int">, 
  | NumberError
  | IntError>, "LessThanOrEqualTo65535", LessThanOrEqualToError<65535>, 
  | NumberError
  | NonNegativeError
  | IntError>, "Counter", BrandWithoutRefineError<"Counter", 
  | NumberError
  | NonNegativeError
  | IntError
| LessThanOrEqualToError<65535>>, never>;