MCPcopy Create free account
hub / github.com/argumentcomputer/ix / def_eq.rs

File def_eq.rs

crates/kernel/src/def_eq.rs:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1//! Definitional equality checking.
2//!
3//! Multi-tier strategy following lean4lean:
4//! 1. Quick structural (same constructor, same children)

Callers

nothing calls this directly

Calls 1

env_varFunction · 0.85

Tested by

no test coverage detected