Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/argumentcomputer/ix
/ app
Function
app
crates/kernel/src/testing.rs:84–86 ·
view source on GitHub ↗
(f: ME, a: ME)
Source
from the content-addressed store, hash-verified
82
}
83
84
pub fn app(f: ME, a: ME) -> ME {
85
ME::app(f, a)
86
}
87
88
pub fn apps(f: ME, args: &[ME]) -> ME {
89
let mut e = f;
Callers
15
subst_no_intern
Function · 0.70
subst_cached
Function · 0.70
simul_subst_cached
Function · 0.70
lift_no_intern
Function · 0.70
lift_cached
Function · 0.70
cheap_beta_reduce
Function · 0.70
instantiate_rev_cached
Function · 0.70
abstract_fvars_cached
Function · 0.70
into_kexpr
Method · 0.70
subst_app
Function · 0.70
instantiate_rev_mix
Function · 0.70
instantiate_rev_under_inner_binder
Function · 0.70
Calls
no outgoing calls
Tested by
no test coverage detected