Function def_eq_lam_structural

crates/kernel/src/def_eq.rs:1918–1924

()

      }
    },
    _ => None,
  }
}

/// Extract head constant's display form as a string, for diagnostic
/// prefix matching. Uses `{kid}`'s Display impl (which is defined for
/// every `KernelMode`), not the inner `Name` which only has Display in
/// Meta mode. Returns `None` if the head isn't a `Const`.
fn head_const_name<M: KernelMode>(e: &KExpr<M>) -> Option<String> {
  let id = head_const_id(e)?;