Struct FnKey 

pub struct FnKey {
    pub scope: Option<String>,
    pub name: String,
}

Canonical identity for a user-defined function across the IR boundary. scope = None is the entry file; scope = Some(prefix) names a dep module ("ModuleA", "Models.User", …). name is the bare source name. Two modules each declaring a foo produce distinct FnKey { scope: Some("A"), name: "foo" } and FnKey { scope: Some("B"), name: "foo" } keys.

Fields

scope: Option<String>

name: String

Implementations

impl FnKey

pub fn entry(name: impl Into<String>) -> Self

Entry-scope (None) constructor.

pub fn in_module(prefix: impl Into<String>, name: impl Into<String>) -> Self

Module-scope constructor.

pub fn canonical(&self) -> String

Canonical text form: Module.name for module-scoped fns, bare name for entry. Use this only when crossing an interop boundary (Lean qualified imports, Dafny Aver_Module.fn references) — internal IR / backend logic should keep operating on the typed key.

pub fn scope_str(&self) -> Option<&str>

Scope as a borrowed &str for callers that just need to branch on entry vs module without taking ownership.

Trait Implementations

impl Clone for FnKey

fn clone(&self) -> FnKey

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FnKey

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for FnKey

impl Hash for FnKey

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FnKey

fn eq(&self, other: &FnKey) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for FnKey