Method as_data

crates/common/src/env.rs:147–149 · view source on GitHub ↗

Returns a reference to the inner [`NameData`].

(&self)

Source from the content-addressed store, hash-verified

145	impl Name {
146	/// Returns a reference to the inner [`NameData`].
147	pub fn as_data(&self) -> &NameData {
148	&self.0
149	}
150
151	/// Returns the precomputed Blake3 hash of this name.
152	pub fn get_hash(&self) -> &Hash {

classify_aux_genFunction · 0.80

decompile_block_aux_genFunction · 0.80

lean_telescopeFunction · 0.80

bvar_idxFunction · 0.80

test_callsite_reconstructs_source_order_spineFunction · 0.80

test_callsite_collapsed_reads_meta_sharing_not_sharingFunction · 0.80

test_projection_decompile_loads_meta_extensionsFunction · 0.80

get_expr_referencesFunction · 0.80

normalize_levelFunction · 0.80

level_alpha_eq_structFunction · 0.80

expr_alpha_eqFunction · 0.80

strip_mdataFunction · 0.80

no outgoing calls

test_callsite_reconstructs_source_order_spineFunction · 0.64

test_callsite_collapsed_reads_meta_sharing_not_sharingFunction · 0.64

test_projection_decompile_loads_meta_extensionsFunction · 0.64

egress_level_param_by_indexFunction · 0.64

egress_level_param_out_of_range_falls_back_to_anonFunction · 0.64

egress_expr_varFunction · 0.64

egress_expr_const_without_univsFunction · 0.64

egress_expr_projFunction · 0.64

egress_expr_nat_litFunction · 0.64

egress_expr_str_litFunction · 0.64

cases_on_type_and_value_have_same_arityFunction · 0.64

mk_pi_unit_on_non_forallFunction · 0.64