Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/argumentcomputer/ix
/ mk_cv
Function
mk_cv
crates/compile/src/graph.rs:191–193 ·
view source on GitHub ↗
(name: &str)
Source
from the content-addressed store, hash-verified
189
Some((out_refs, in_refs))
190
})
191
.reduce(
192
|| (RefMap::default(), RefMap::default()),
193
|(out_l, in_l), (out_r, in_r)| (merge(out_l, out_r), merge(in_l, in_r)),
194
);
195
196
//assert_eq!(env.len(), out_refs.len());
Callers
9
axiom_no_deps
Function · 0.70
defn_with_const_refs
Function · 0.70
inductive_includes_ctors
Function · 0.70
inductive_all_members_are_not_graph_edges
Function · 0.70
ctor_includes_induct
Function · 0.70
in_refs_bidirectional
Function · 0.70
recursor_refs_rules
Function · 0.70
expr_references_through_app_lam_let
Function · 0.70
proj_references_type_name
Function · 0.70
Calls
2
n
Function · 0.70
sort0
Function · 0.70
Tested by
9
axiom_no_deps
Function · 0.56
defn_with_const_refs
Function · 0.56
inductive_includes_ctors
Function · 0.56
inductive_all_members_are_not_graph_edges
Function · 0.56
ctor_includes_induct
Function · 0.56
in_refs_bidirectional
Function · 0.56
recursor_refs_rules
Function · 0.56
expr_references_through_app_lam_let
Function · 0.56
proj_references_type_name
Function · 0.56