Module Size.BitSource

include Size
Sourcetype t = private Natural.t
Sourceval create : int -> t
Sourceval of_string : string -> t
Sourceval of_int32 : int32 -> t
Sourceval to_int : t -> int
Sourceval eq : t -> t -> bool
Sourceval pp : Format.formatter -> t -> unit
Sourceval pp_hex : Format.formatter -> t -> unit
Sourceval add : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval div : t -> t -> t
Sourceval mul : t -> t -> t
Sourceval pred : t -> t
Sourceval is_zero : t -> bool
Sourceval bits1 : t
Sourceval bits2 : t
Sourceval bits4 : t
Sourceval bits8 : t
Sourceval bits16 : t
Sourceval bits32 : t
Sourceval bits64 : t
Sourceval bits80 : t
Sourceval bits128 : t
Sourceval bits256 : t
Sourceval bits512 : t