Image.SpecInterface to the image specification.
from_arch x constructs a minimal specification for the given architecture x.
val slot : (Bap_core_theory.Theory.Unit.cls, Ogre.doc) Bap_core_theory.KB.slotthe slot to access the specification of the uni