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, )
| 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, |
no test coverage detected