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

Function n

crates/compile/src/graph.rs:183–185  ·  view source on GitHub ↗
(s: &str)

Source from the content-addressed store, hash-verified

181 let names: Vec<&Name> = env.keys().collect();
182 let (out_refs, in_refs) = names
183 .into_par_iter()
184 .filter_map(|name| {
185 let constant = env.get(name)?;
186 let deps = get_constant_info_references(&constant);
187 let in_refs = mk_in_refs(name, &deps);
188 let out_refs = RefMap::from_iter([(name.clone(), deps)]);

Callers 10

mk_cvFunction · 0.70
axiom_no_depsFunction · 0.70
defn_with_const_refsFunction · 0.70
inductive_includes_ctorsFunction · 0.70
ctor_includes_inductFunction · 0.70
in_refs_bidirectionalFunction · 0.70
recursor_refs_rulesFunction · 0.70

Calls

no outgoing calls

Tested by 9

axiom_no_depsFunction · 0.56
defn_with_const_refsFunction · 0.56
inductive_includes_ctorsFunction · 0.56
ctor_includes_inductFunction · 0.56
in_refs_bidirectionalFunction · 0.56
recursor_refs_rulesFunction · 0.56