#compiler #interpreter #tree-structure #traits #modeling #imp #programs

yanked imp_tree

A collection of traits for modelling tree-structure in IMP programs

1 unstable release

0.2.0 Apr 20, 2024

#4 in #imp


Used in 2 crates

MIT license

2KB

Traits and functions modelling tree-structure.

No runtime deps