diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-02 09:59:30 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-02 09:59:30 +0100 |
| commit | 03dd55c022c6077b50429b33f2889bbcec9f0435 (patch) | |
| tree | 7d9942a6f344ed119444672bbd0db850aa34dcd6 /pbt/ts/src/index.ts | |
| parent | 67a318eeb886da7b9917d1809464dfdcb8f4e578 (diff) | |
| download | lambda-nantes-03dd55c022c6077b50429b33f2889bbcec9f0435.tar.gz | |
add simple classification
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); + }, ); |