Utils.Num

Definitions

stringToNat' : Fin 36 -> String -> Maybe Integer

Visibility: export

stringToNat : Fin 36 -> String -> Maybe Nat

Visibility: export

stringToInteger : Fin 36 -> String -> Maybe Integer

Visibility: export