Struct JsNameMangler 

pub struct JsNameMangler {
    pub namespace: String,
    pub preserve_case: bool,
}

Extended name mangler with support for module namespaces.

Fields

namespace: String

Namespace prefix (e.g., “Lean” for Lean library functions).

preserve_case: bool

Whether to preserve original capitalization.

Implementations

impl JsNameMangler

pub fn new(namespace: &str) -> Self

Create a new name mangler.

pub fn mangle(&self, name: &str) -> String

Mangle a name with optional namespace prefix.

pub fn mangle_qualified(&self, parts: &[&str]) -> String

Mangle a qualified name like Nat.add → Lean_Nat_add.