export type PositiveInteger = number & {
    __brand: 'PositiveInteger';
};