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

Function check

crates/compile/src/ground.rs:252–255  ·  view source on GitHub ↗
(env: &Env)

Source from the content-addressed store, hash-verified

250#[cfg(test)]
251mod tests {
252 use super::*;
253 use crate::graph::build_ref_graph;
254 use ix_common::env::*;
255
256 fn n(s: &str) -> Name {
257 Name::str(Name::anon(), s.to_string())
258 }

Callers 10

grounded_axiomFunction · 0.85
ungrounded_missing_refFunction · 0.85
ungrounded_mvarFunction · 0.85
ungrounded_level_paramFunction · 0.85
inductive_missing_ctorFunction · 0.85
binding_increments_depthFunction · 0.85
fvar_is_ungroundedFunction · 0.85

Calls 2

build_ref_graphFunction · 0.85
ground_constsFunction · 0.85

Tested by 10

grounded_axiomFunction · 0.68
ungrounded_missing_refFunction · 0.68
ungrounded_mvarFunction · 0.68
ungrounded_level_paramFunction · 0.68
inductive_missing_ctorFunction · 0.68
binding_increments_depthFunction · 0.68
fvar_is_ungroundedFunction · 0.68