MCPcopy Create free account
hub / github.com/argumentcomputer/ix / anon_ctor_addrs

Function anon_ctor_addrs

crates/kernel/src/ingress.rs:4204–4212  ·  view source on GitHub ↗

Compute deterministic ctor projection addresses for every constructor of an inductive member at position `indc_idx` in a block at `block_addr`.

(
  block_addr: &Address,
  indc_idx: u64,
  ind: &ixon::constant::Inductive,
)

Source from the content-addressed store, hash-verified

4202 log::info!(
4203 "[ixon_ingress] convert nodes: sort {} var {} ref {} rec {} app {} lam {} all {} let {} prj {} str {} nat {} callsites {} args {}",
4204 cs.sort_nodes,
4205 cs.var_nodes,
4206 cs.ref_nodes,
4207 cs.rec_nodes,
4208 cs.app_nodes,
4209 cs.lam_nodes,
4210 cs.all_nodes,
4211 cs.let_nodes,
4212 cs.prj_nodes,
4213 cs.str_nodes,
4214 cs.nat_nodes,
4215 cs.callsites,

Callers 1

ingress_anon_blockFunction · 0.85

Calls 2

anon_ctor_proj_addrFunction · 0.85
lenMethod · 0.45

Tested by

no test coverage detected