diff options
Diffstat (limited to 'pbt/ts/src/index.ts')
| -rw-r--r-- | pbt/ts/src/index.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts index 2f59f0e..7a58ffe 100644 --- a/pbt/ts/src/index.ts +++ b/pbt/ts/src/index.ts @@ -63,4 +63,8 @@ export const prop_reverse_is_self_inverse = property( listOf(someInt), reverse_is_self_inverse, shrinklist, + l => { + const tens = Math.floor(l.length / 10); + return '< ' + 10 * (tens + 1); + }, ); |