Expand description
Auto-generated module
🤖 Generated with SplitRS
Functions§
- are_
sibling_ modules - Checks if two modules are siblings (share the same parent).
- is_
valid_ module_ name - Returns whether a module name is a valid Lean-style dotted name.
- leaf_
module_ name - Returns the leaf name (last component) of a module name.
- module_
depth - Returns the depth of a module name (number of dots + 1).
- module_
fingerprint - A module fingerprint for change detection.
- module_
in_ namespace - Returns whether a module is in a given namespace.
- parent_
module - Returns the parent module of a dotted module name.
- top_
namespace - Returns the top-level namespace of a module name.