module type UintSig =sig..end
type t
val name : string
val fmt : string
val zero : t
val max_int : t
val bits : int
val of_int : int -> t
val to_int : t -> int
val add : t ->
t -> t
val mul : t ->
t -> t
val divmod : t ->
t ->
t * t