Method data

crates/kernel/src/expr.rs:110–112 · view source on GitHub ↗

(&self)

Source from the content-addressed store, hash-verified

108	pub struct ExprInfo<M: KernelMode> {
109	/// Blake3 hash of semantic expression content. Metadata fields are stored
110	/// for diagnostics/egress but do not contribute to the hash.
111	pub addr: Addr,
112	/// Loose bound variable range: upper bound on free de Bruijn indices.
113	pub lbr: u64,
114	/// Count of free `Var(0)` occurrences.
115	pub count_0: u64,

egress_levelFunction · 0.45

egress_exprFunction · 0.45

kuniv_to_ixonFunction · 0.45

kexpr_to_ixonFunction · 0.45

kuniv_to_levelFunction · 0.45

peek_result_sortFunction · 0.45

get_level_errorMethod · 0.45

try_infer_app_sort_levelMethod · 0.45

kuniv_to_level_with_const_levelsMethod · 0.45

kexpr_to_leanFunction · 0.45

validate_expr_well_scopedMethod · 0.45

validate_univ_params_seenMethod · 0.45

no outgoing calls

instantiate_rev_then_abstract_roundtripFunction · 0.36

prop_intern_determinismFunction · 0.36

whnf_string_legacy_back_empty_literalFunction · 0.36

whnf_string_utf8_byte_size_literalFunction · 0.36

whnf_nat_ble_zero_length_string_to_list_literal_is_trueFunction · 0.36

whnf_nat_sub_nativeFunction · 0.36

whnf_nat_primitive_accepts_constructor_value_with_loose_bvarFunction · 0.36

whnf_nat_ble_largeFunction · 0.36

whnf_bitvec_ult_zero_rhs_is_falseFunction · 0.36

whnf_bitvec_to_nat_ofnat_zero_is_zeroFunction · 0.36

whnf_decide_bitvec_lt_zero_is_falseFunction · 0.36

whnf_def_eq_nat_sub_largeFunction · 0.36