Method store_const

crates/ixon/src/env.rs:174–176

(&self, addr: Address, constant: Constant)

  /// `perm[source_j] = canonical_i`: Lean's source-walk position to
  /// our canonical hash-sorted position.
  pub perm: Vec<usize>,
  /// Number of constructors for the aux inductive at source position j.
  /// Same count regardless of which position the aux ends up at
  /// canonically (it's a property of the external nested inductive).
  pub source_ctor_counts: Vec<usize>,
}