pub type SubstMap = HashMap<FVarId, Expr>;
A finite mapping from free-variable identifiers to expressions.
pub struct SubstMap { /* private fields */ }