sig
module Uint8 :
sig
type t = int
val pp : Format.formatter -> Usane.Uint8.t -> unit
val of_int : int -> Usane.Uint8.t
val add : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool
val mul : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool
val sub : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool
val succ : Usane.Uint8.t -> Usane.Uint8.t * bool
val pred : Usane.Uint8.t -> Usane.Uint8.t * bool
val compare : Usane.Uint8.t -> Usane.Uint8.t -> int
val ( + ) : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool
val ( - ) : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool
val ( * ) : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool
val ( < ) : Usane.Uint8.t -> Usane.Uint8.t -> bool
val ( <= ) : Usane.Uint8.t -> Usane.Uint8.t -> bool
val ( > ) : Usane.Uint8.t -> Usane.Uint8.t -> bool
val ( >= ) : Usane.Uint8.t -> Usane.Uint8.t -> bool
end
module Uint16 :
sig
type t = int
val pp : Format.formatter -> Usane.Uint16.t -> unit
val of_int : int -> Usane.Uint16.t
val add : Usane.Uint16.t -> Usane.Uint16.t -> Usane.Uint16.t * bool
val mul : Usane.Uint16.t -> Usane.Uint16.t -> Usane.Uint16.t * bool
val sub : Usane.Uint16.t -> Usane.Uint16.t -> Usane.Uint16.t * bool
val succ : Usane.Uint16.t -> Usane.Uint16.t * bool
val pred : Usane.Uint16.t -> Usane.Uint16.t * bool
val compare : Usane.Uint16.t -> Usane.Uint16.t -> int
val ( + ) : Usane.Uint16.t -> Usane.Uint16.t -> Usane.Uint16.t * bool
val ( - ) : Usane.Uint16.t -> Usane.Uint16.t -> Usane.Uint16.t * bool
val ( * ) : Usane.Uint16.t -> Usane.Uint16.t -> Usane.Uint16.t * bool
val ( < ) : Usane.Uint16.t -> Usane.Uint16.t -> bool
val ( <= ) : Usane.Uint16.t -> Usane.Uint16.t -> bool
val ( > ) : Usane.Uint16.t -> Usane.Uint16.t -> bool
val ( >= ) : Usane.Uint16.t -> Usane.Uint16.t -> bool
end
module Uint32 :
sig
type t = int32
val pp : Format.formatter -> Usane.Uint32.t -> unit
val of_int : int -> Usane.Uint32.t
val to_int : Usane.Uint32.t -> int option
val add : Usane.Uint32.t -> Usane.Uint32.t -> Usane.Uint32.t * bool
val mul : Usane.Uint32.t -> Usane.Uint32.t -> Usane.Uint32.t * bool
val sub : Usane.Uint32.t -> Usane.Uint32.t -> Usane.Uint32.t * bool
val succ : Usane.Uint32.t -> Usane.Uint32.t * bool
val pred : Usane.Uint32.t -> Usane.Uint32.t * bool
val compare : Usane.Uint32.t -> Usane.Uint32.t -> int
val ( + ) : Usane.Uint32.t -> Usane.Uint32.t -> Usane.Uint32.t * bool
val ( - ) : Usane.Uint32.t -> Usane.Uint32.t -> Usane.Uint32.t * bool
val ( * ) : Usane.Uint32.t -> Usane.Uint32.t -> Usane.Uint32.t * bool
val ( < ) : Usane.Uint32.t -> Usane.Uint32.t -> bool
val ( <= ) : Usane.Uint32.t -> Usane.Uint32.t -> bool
val ( > ) : Usane.Uint32.t -> Usane.Uint32.t -> bool
val ( >= ) : Usane.Uint32.t -> Usane.Uint32.t -> bool
end
module Uint64 :
sig
type t = int64
val pp : Format.formatter -> Usane.Uint64.t -> unit
val of_int : int -> Usane.Uint64.t
val to_int : Usane.Uint64.t -> int option
val add : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool
val mul : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool
val sub : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool
val succ : Usane.Uint64.t -> Usane.Uint64.t * bool
val pred : Usane.Uint64.t -> Usane.Uint64.t * bool
val compare : Usane.Uint64.t -> Usane.Uint64.t -> int
val ( + ) : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool
val ( - ) : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool
val ( * ) : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool
val ( < ) : Usane.Uint64.t -> Usane.Uint64.t -> bool
val ( <= ) : Usane.Uint64.t -> Usane.Uint64.t -> bool
val ( > ) : Usane.Uint64.t -> Usane.Uint64.t -> bool
val ( >= ) : Usane.Uint64.t -> Usane.Uint64.t -> bool
end
end