Module Attribute_specification.Sealed
val emit : asm_directives:Asm_targets.Asm_directives_dwarf.t -> t -> unitval size : t -> Dwarf_int.tAttribute_specification.Sealedval emit : asm_directives:Asm_targets.Asm_directives_dwarf.t -> t -> unitval size : t -> Dwarf_int.t