pub fn number_instructions(decl: &LcnfFunDecl) -> HashMap<LcnfVarId, u32>Expand description
Build a BFS-order instruction numbering for an LCNF expression.
pub fn number_instructions(decl: &LcnfFunDecl) -> HashMap<LcnfVarId, u32>Build a BFS-order instruction numbering for an LCNF expression.