module Make (X : sig
end) : S
Create a new bitfield type
type 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
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