Std.Test.Property.forAllInts
1 declaration
fn
forAllInts: Str -> UInt64 -> Int -> Int -> fn(Int) -> Bool -> Std.Test.CheckThis is a callable function.
What it does
A property over whole numbers below a bound.
Read the signature
- The text after the name is the type checked by Pudu.
- Read arrows from left to right: inputs come first, and the final type is returned.