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

def Lake.rpad (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.