fact: Definition int_of_string s := match s with | EmptyString => None | String a s' => if Ascii.eqb a "-" then option_map Neg (uint_of_string s') else option_map Pos (uint_of_string s) end.
imports: Decimal Ascii String