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

Method data

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

Source from the content-addressed store, hash-verified

108 }
109
110 pub fn data(&self) -> &ExprData<M> {
111 &self.0
112 }
113
114 pub fn info(&self) -> &ExprInfo<M> {
115 self.data().info()

Callers 15

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

Calls

no outgoing calls

Tested by 15

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