diff options
author | Raito Bezarius | 2024-03-26 14:25:07 +0100 |
---|---|---|
committer | Raito Bezarius | 2024-03-26 14:25:07 +0100 |
commit | 33a92dac2635ead90cb84c16023355a7d679d434 (patch) | |
tree | 2fa3210861a660ae5dec29dee4956dd21ff44551 /src/main.rs | |
parent | 014fc51d291188afd405c33a8281fbb5013ad304 (diff) |
feat: first property "set of values post = {a} \cup set of values pre"
This is a first property which is generic of all BSTs.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'src/main.rs')
0 files changed, 0 insertions, 0 deletions