Module Armv7decoder.ArmToDbaSource

decode r addr decodes what is at address addr in reader r.

Use let decode = cached_decode reader in decode addr1; ... decode addrn;

if you want to use a cached decoder, adapted for a new reader.

The cached decoder assumes that the code will not change dynamically.