def Lake.toUpperCamelCaseString (str : String) : String

Converts a snake case, kebab case, or lower camel case String to upper camel case.

def Lake.toUpperCamelCase (name : Lean.Name) : Lean.Name

Converts a snake case, kebab case, or lower camel case Name to upper camel case.

Equations

• Lake.toUpperCamelCase (p.str s) = (Lake.toUpperCamelCase p).mkStr (Lake.toUpperCamelCaseString s)
• Lake.toUpperCamelCase name = name