Skip to main content
Module subst
dada_
ir_
sym
0.1.0
Module subst
Module Items
Macros
Structs
Traits
Functions
In dada_
ir_
sym::
ir
dada_ir_sym
::
ir
Module
subst
Copy item path
Source
Macros
§
identity_
subst
🔒
For types that do not contain any potentially substitutable content, we can use a simple impl. Note that while these types default [
ir::subst::Term
][] type to
SymGenericTerm
, that is just for convenience – they implement
SubstWith
for any type
Term
.
Structs
§
Substitution
Fns
Traits
§
Subst
A type implemented by terms that can be substituted.
Subst
With
Core substitution operation: produce a version of this type with variables replaced with instances of
Term
.
Functions
§
default_
free_
var
subst_
var