Type0 := | Nil | D0 (_:) | D1 (_:) | D2 (_:) | D3 (_:) | D4 (_:) | D5 (_:) | D6 (_:) | D7 (_:) | D8 (_:) | D9 (_:) | Da (_:) | Db (_:) | Dc (_:) | Dd (_:) | De (_:) | Df (_:).
Require Import Basics.Overture Basics.Numerals.Decimal.