Module Directive.Constant_with_width
A constant together with a width indicating the number of bytes in the object file within which the constant is to fit. Some validation is performed on values of type t to try to ensure that this is the case, but it cannot be exhaustive, as the values of This, Label, Symbol, and Variable constructions are not known.
val constant : t -> Constant.tmodule Width_in_bytes : sig ... endval width_in_bytes : t -> Width_in_bytes.t