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

Function param

crates/kernel/src/inductive.rs:4525–4527  ·  view source on GitHub ↗
(n: u64)

Source from the content-addressed store, hash-verified

4523 total_lams: u64,
4524 target_bi: usize,
4525 flat: &[FlatBlockMember<M>],
4526 peer_recs: &[KId<M>],
4527 n_rec_params: usize,
4528 n_motives: usize,
4529 n_minors: usize,
4530 is_large: bool,

Callers 15

check_ctor_return_typeMethod · 0.70
generate_block_recursorsMethod · 0.70
mk_ind_univsMethod · 0.70
build_rule_ihMethod · 0.70
bool_envFunction · 0.70
nat_envFunction · 0.70
nat_rec_rulesFunction · 0.70
list_envFunction · 0.70
nested_tree_envFunction · 0.70
nested_tree_rec_type_matchesFunction · 0.70
poly_nested_envFunction · 0.70
syntax_like_envFunction · 0.70

Calls

no outgoing calls

Tested by 5

nat_rec_rulesFunction · 0.56
nested_tree_rec_type_matchesFunction · 0.56
wf_like_rec_typeFunction · 0.56
reject_bool_rec_with_swapped_rulesFunction · 0.56
subst_univ_rejects_out_of_range_paramFunction · 0.56