Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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)]
251
mod 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_axiom
Function · 0.85
ungrounded_missing_ref
Function · 0.85
ungrounded_bvar_out_of_scope
Function · 0.85
ungrounded_mvar
Function · 0.85
ungrounded_level_param
Function · 0.85
propagation_through_in_refs
Function · 0.85
inductive_missing_ctor
Function · 0.85
inductive_ctor_wrong_kind
Function · 0.85
binding_increments_depth
Function · 0.85
fvar_is_ungrounded
Function · 0.85
Calls
2
build_ref_graph
Function · 0.85
ground_consts
Function · 0.85
Tested by
10
grounded_axiom
Function · 0.68
ungrounded_missing_ref
Function · 0.68
ungrounded_bvar_out_of_scope
Function · 0.68
ungrounded_mvar
Function · 0.68
ungrounded_level_param
Function · 0.68
propagation_through_in_refs
Function · 0.68
inductive_missing_ctor
Function · 0.68
inductive_ctor_wrong_kind
Function · 0.68
binding_increments_depth
Function · 0.68
fvar_is_ungrounded
Function · 0.68