Djot_kernel.Hexadecimal
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
| Da of uint
| Db of uint
| Dc of uint
| Dd of uint
| De of uint
| Df 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