Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/argumentcomputer/ix
/ lbr
Method
lbr
crates/kernel/src/expr.rs:122–124 ·
view source on GitHub ↗
(&self)
Source
from the content-addressed store, hash-verified
120
}
121
122
pub fn lbr(&self) -> u64 {
123
self.info().lbr
124
}
125
126
pub fn count_0(&self) -> u64 {
127
self.info().count_0
Callers
15
subst
Function · 0.80
subst_no_intern
Function · 0.80
subst_cached
Function · 0.80
simul_subst
Function · 0.80
simul_subst_cached
Function · 0.80
lift
Function · 0.80
lift_no_intern
Function · 0.80
lift_cached
Function · 0.80
cheap_beta_reduce
Function · 0.80
instantiate_rev
Function · 0.80
instantiate_rev_cached
Function · 0.80
abstract_fvars_cached
Function · 0.80
Calls
1
info
Method · 0.80
Tested by
2
prop_lbr_matches_observed_walk
Function · 0.64
prop_subst_preserves_closed_expressions
Function · 0.64