Djot_kernel.Decimal
type uint =
| Nil
| D0 of uint
| D1 of uint
| D2 of uint
| D3 of uint
| D4 of uint
| D5 of uint
| D6 of uint
| D7 of uint
| D8 of uint
| D9 of uint
type signed_int =
| Pos of uint
| Neg of uint
val nzhead : uint -> uint
val unorm : uint -> uint
val norm : signed_int -> signed_int
val revapp : uint -> uint -> uint
val rev : uint -> uint
module Little : sig ... end