summaryrefslogtreecommitdiff
path: root/src/main.rs
diff options
context:
space:
mode:
authorRaito Bezarius2024-03-26 14:25:07 +0100
committerRaito Bezarius2024-03-26 14:25:07 +0100
commit33a92dac2635ead90cb84c16023355a7d679d434 (patch)
tree2fa3210861a660ae5dec29dee4956dd21ff44551 /src/main.rs
parent014fc51d291188afd405c33a8281fbb5013ad304 (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 '')
0 files changed, 0 insertions, 0 deletions