Bap_c_sizeAn abstraction of sizeof operator.
next_multitude_of ~n x returns y >= x so that y is a multitude of n, i.e., y = n * k.
val padding : Bap.Std.Size.t -> int -> intpadding alignment offset computes the required padding at offset to ensure the alignment.
max_enum_elt enum returns the maximum element in the enum specification.
class base : Bap_c_data.model -> object ... endThe base class for computing sizes and aligments of C data types.