binsec
Binsec.Mnemonic
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.smt
binsec.sse
binsec.sse_register
libformula
libterm
type t = private
| Unknown
Opcodes which do not have a valid mnemonic translation
| Unsupported of string option
Opcodes which have a valid mnemonic but do not have a handled mnemonic translation
| Supported of string
val supported : 'a -> (Format.formatter -> 'a -> unit) -> t
val unsupported : ?mnemonic_hint:string -> unit -> t
val unknown : t
val pp : Format.formatter -> t -> unit
val to_string : t -> string