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