Module functions 

Auto-generated module

🤖 Generated with SplitRS

Constants

MODULE_VERSION

Version tag for this module.

Traits

ModuleMarker

Marker trait for types that can be used in module-specific contexts.

Functions

closest_match

Find the closest match in a list of candidates using Levenshtein distance.

format_name_list

Format a list of names for display in an error message.

is_def_eq_args

Check definitional equality for a sequence of argument lists.

is_def_eq_simple

Standalone function for definitional equality (without environment).

is_def_eq_with_mode

Check definitional equality with a specific transparency mode.

levenshtein_distance

Compute the Levenshtein distance between two string slices.

module_err

Create a module-level error string.

syntactic_eq

Syntactic equality check (no reduction).

Type Aliases

ModuleResult

Generic result type for operations in this module.