FuncType - v0.8.85
    Preparing search index...

    Variable PositiveIntegerConst

    PositiveInteger: ValidatedBrand<
        "PositiveInteger",
        Brand<"PositiveNumber", number>,
    > = ...