Function check_axiom

crates/kernel/src/check.rs:999–1003

()

          return Err(TcError::Other(format!(
            "check_eq_type: Eq expects 2 params (α, a), got {}",
            params
          )));
        }
        if *indices != 1 {
          return Err(TcError::Other(format!(
            "check_eq_type: Eq expects 1 index, got {}",
            indices
          )));