(&mut self, addr: Address)
| 409 | apply_sharing_to_mutual_block, apply_sharing_to_quotient_with_stats, |
| 410 | apply_sharing_to_recursor_with_stats, |
| 411 | }; |
| 412 | use ix_common::address::Address; |
| 413 | use ixon::constant::{ |
| 414 | Axiom as IxonAxiom, Constant as IxonConstant, ConstantInfo as IxonCI, |
| 415 | Constructor as IxonConstructor, ConstructorProj, |
| 416 | Definition as IxonDefinition, DefinitionProj, Inductive as IxonInductive, |
| 417 | InductiveProj, MutConst as IxonMutConst, Quotient as IxonQuotient, |