Module Arch.Extension
val name : t -> stringval enabled : t -> boolval available : unit -> t listval enabled_instruction : Amd64_simd_instrs.instr -> boolArch.Extensionval name : t -> stringval enabled : t -> boolval available : unit -> t listval enabled_instruction : Amd64_simd_instrs.instr -> bool