binsec
Loader.Symbol
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.domains
binsec.parser
binsec.ppc64decoder
binsec.smt
binsec.sse
binsec.sse_register
checkct
libformula
libterm
shadow_stack
type t = (Loader_elf.Symbol.t, Loader_pe.Symbol.t, Loader_raw.Symbol.t, Loader_ti83.Symbol.t) t_pack
type header = (Loader_elf.Symbol.header, Loader_pe.Symbol.header, Loader_raw.Symbol.header, Loader_ti83.Symbol.header) t_pack
val name : t -> string
val value : t -> int
val header : t -> header