Skip to main content
Module binder
dada_
ir_
sym
0.1.0
Module binder
Module Items
Structs
Traits
In dada_
ir_
sym::
ir
dada_ir_sym
::
ir
Module
binder
Copy item path
Source
Structs
§
Binder
Indicates a binder for generic variables
Never
Binder
Traits
§
Bound
Term
A value that can appear in a binder
Leaf
Bound
Term