Type Alias Substitution 

pub type Substitution = HashMap<i64, STerm>;

Substitution mapping variable indices to replacement terms.

Extracted from hypothesis equalities like x = t, where x is a De Bruijn variable. Applied during simplification to replace variables with their known values.

Aliased Type

pub struct Substitution { /* private fields */ }