Create a new empty substitution
()
| 19 | impl Substitution { |
| 20 | /// Create a new empty substitution |
| 21 | pub fn new() -> Self { |
| 22 | Self { |
| 23 | assignments: HashMap::new(), |
| 24 | } |
| 25 | } |
| 26 | |
| 27 | /// Assign a metavariable to a term |
| 28 | pub fn assign(&mut self, mvar: MetaVarId, term: TermId) { |
nothing calls this directly
no outgoing calls
no test coverage detected