Library (bap.Bap.Std.Project.Library)

type t = library

val unit : library -> Bap_core_theory.Theory.Unit.t

unit library returns the unit associated with the library.

val arch : library -> arch

arch library reveals the architecture of the library.

val target : library -> Bap_core_theory.Theory.Target.t

target library returns the target system of the library.

val specification : library -> Ogre.doc

specification library returns the specification of the library.

val state : library -> state

state library returns the core state of the library.

val disasm : library -> disasm

disasm library returns the results of disassembling the library.

val memory : library -> value memmap

memory library returns the memory of the library.