summaryrefslogtreecommitdiff
path: root/Cargo.lock
diff options
context:
space:
mode:
authorRaito Bezarius2024-04-04 17:29:44 +0200
committerRaito Bezarius2024-04-04 17:29:44 +0200
commit9da83df6319b806d584da9ae5c6da260fcae56a8 (patch)
tree021350154bc7d40d8d4b48fe86002069618316b1 /Cargo.lock
parent5e35e3875884ca4be63f253d9e8d7f2fc71b3527 (diff)
refactor: define some projectors for ForallNode
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'Cargo.lock')
0 files changed, 0 insertions, 0 deletions