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

Function n

crates/compile/src/ground.rs:240–242  ·  view source on GitHub ↗
(s: &str)

Source from the content-addressed store, hash-verified

238 LevelData::Param(n, _) => {
239 if !univs.contains(n) {
240 return Err(GroundError::Level(level.clone(), univs.to_vec()));
241 }
242 Ok(())
243 },
244 LevelData::Mvar(_, _) => {
245 Err(GroundError::Level(level.clone(), univs.to_vec()))

Callers 13

mk_cvFunction · 0.70
grounded_axiomFunction · 0.70
grounded_defn_with_bvar_in_lamFunction · 0.70
ungrounded_missing_refFunction · 0.70
ungrounded_bvar_out_of_scopeFunction · 0.70
ungrounded_mvarFunction · 0.70
ungrounded_level_paramFunction · 0.70
grounded_level_param_when_declaredFunction · 0.70
propagation_through_in_refsFunction · 0.70
inductive_missing_ctorFunction · 0.70
inductive_ctor_wrong_kindFunction · 0.70
binding_increments_depthFunction · 0.70

Calls

no outgoing calls

Tested by 12

grounded_axiomFunction · 0.56
grounded_defn_with_bvar_in_lamFunction · 0.56
ungrounded_missing_refFunction · 0.56
ungrounded_bvar_out_of_scopeFunction · 0.56
ungrounded_mvarFunction · 0.56
ungrounded_level_paramFunction · 0.56
grounded_level_param_when_declaredFunction · 0.56
propagation_through_in_refsFunction · 0.56
inductive_missing_ctorFunction · 0.56
inductive_ctor_wrong_kindFunction · 0.56
binding_increments_depthFunction · 0.56
fvar_is_ungroundedFunction · 0.56