Module `Directive.Constant_with_width`

type t

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 and Named_thing constructions are not known.

val constant : 
  Asm_targets.Asm_directives.Directive.Constant_with_width.t ->
  Asm_targets.Asm_directives.Directive.Constant.t

type width_in_bytes = private

| Eight
| Sixteen
| Thirty_two
| Sixty_four

val width_in_bytes : 
  Asm_targets.Asm_directives.Directive.Constant_with_width.t ->
  Asm_targets.Asm_directives.Directive.Constant_with_width.width_in_bytes

Module Directive.Constant_with_width

Module `Directive.Constant_with_width`