unisim_archisec
Unisim_archisec.Aarch64
unisim_archisec.aarch64dba
unisim_archisec.amd64dba
unisim_archisec.arm32dba
unisim_archisec.ppc64dba
unisim_archisec.sparcdba
val decode : addr:int64 -> int32 -> string