pub fn is_valid_module_name(name: &str) -> bool
Returns whether a module name is a valid Lean-style dotted name.