Create a new bitfield type
Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type
val empty : tEmpty bitfields (all bits 0)
module type FIELD = sig ... endField of type value, with a given width and position within the bitfield type
val bool : ?name:string -> unit -> bool fieldval int2 : ?name:string -> unit -> int fieldNew field of type 2-bits int (same as int ~width:2)
Frozen if freeze () was called
TooManyFields if there is no room
val int3 : ?name:string -> unit -> int fieldNew field of type 3-bits int (same as int ~width:3)
Frozen if freeze () was called
TooManyFields if there is no room
val int : ?name:string -> width:int -> unit -> int fieldNew field for width bits.
Frozen if freeze () was called
Invalid_argument if width is not <= 1
TooManyFields if there is no room
Prevent new fields from being added. From now on, creating a field will raise Frozen
val iter_fields : (any_field -> unit) -> unitIterate on all currently present fields
val pp : Format.formatter -> t -> unitPrint the bitfield using the current list of fields