Type Alias ezno_checker::context::MutableRewrites
source · pub type MutableRewrites = Vec<(VariableId, VariableId)>;
Aliased Type§
struct MutableRewrites { /* private fields */ }
pub type MutableRewrites = Vec<(VariableId, VariableId)>;
struct MutableRewrites { /* private fields */ }