MCPcopy 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_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 2

nFunction · 0.70
sort0Function · 0.70

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