fact: Definition pos_of_number_uint (d:Numeral.int) : option Pos := match d with | Numeral.IntDec d => pos_of_decimal_int d | Numeral.IntHex _ => None end.
imports: Basics.Overture Basics.Tactics Basics.Decidable Spaces.Nat.Core