(d d' : uint) := match d with | Nil => d' | D0 d => d (D0 d') | D1 d => d (D1 d') | D2 d => d (D2 d') | D3 d => d (D3 d') | D4 d => d (D4 d') | D5 d => d (D5 d') | D6 d => d (D6 d') | D7 d => d (D7 d') | D8 d => d (D8 d') | D9 d => d (D9 d') | Da d => d (Da d') | Db d => d (Db d') | Dc d => d (Dc d') | Dd d => d (Dd d') | De d => d (De d') | Df d => d (Df d') end.
Require Import Basics.Overture Basics.Numerals.Decimal.