You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

8 lines
332 B

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.maxSafeNat = maxSafeNat;
const IntegerArbitrary_1 = require("./_internals/IntegerArbitrary");
const safeMaxSafeInteger = Number.MAX_SAFE_INTEGER;
function maxSafeNat() {
return new IntegerArbitrary_1.IntegerArbitrary(0, safeMaxSafeInteger);
}