Type Definition libvex_sys::IRCmpD64Result [] [src]

type IRCmpD64Result = IRCmpDResult;