def Lake.lpadAscii (s : String) (c : Char) (len : Nat) : String

def Lake.rpadAscii (s : String) (c : Char) (len : Nat) : String

def Lake.zpad (n len : Nat) : String

def Lake.isHex (s : String) : Bool

Returns whether a string is composed of only hexadecimal digits.

def Lake.lowerHexUInt64 (n : UInt64) : String