Module type `CCBitField.S`

Bitfield Signature

type t = private int: Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type

val empty : t: Empty bitfields (all bits 0).

type field

val get : field -> t -> bool: Get the value of this field.

val set : field -> bool -> t -> t: Set the value of this field.

val mk_field : unit -> field: Make a new field.

val freeze : unit -> unit: Prevent new fields from being added. From now on, creating a field will raise Frozen.

val total_width : unit -> int: Current width of the bitfield.