diff options
| author | Kazuhiko Sakaguchi | 2020-12-02 23:03:24 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-12-16 22:51:38 +0900 |
| commit | 462c14d4dd9752ccb8f12f0047333c285ad6e7ed (patch) | |
| tree | 1d90cd0381230fde5648b64615f062822d0663c6 /docs | |
| parent | b0d6592584ae3bffbb7a73a67ea06375b286c2fc (diff) | |
Add `pairwise r xs` predicate
which asserts that the relation `r` holds for any i-th and j-th element of `xs`
such that i < j.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions