Module Binsec_kernel_loader.LoaderSource
Sourcetype ('a, 'b, 'c, 'd) t_pack = | ELF of 'a| PE of 'b| Raw of 'c| TI83 of 'd
include Loader_sigs.S
with type Section.t =
(Loader_elf.Section.t,
Loader_pe.Section.t,
Loader_raw.Section.t,
Loader_ti83.Section.t)
t_pack
and type Symbol.t =
(Loader_elf.Symbol.t,
Loader_pe.Symbol.t,
Loader_raw.Symbol.t,
Loader_ti83.Symbol.t)
t_pack
and type Img.t =
(Loader_elf.Img.t,
Loader_pe.Img.t,
Loader_raw.Img.t,
Loader_ti83.Img.t)
t_pack
and type Section.header =
(Loader_elf.Section.header,
Loader_pe.Section.header,
Loader_raw.Section.header,
Loader_ti83.Section.header)
t_pack
and type Symbol.header =
(Loader_elf.Symbol.header,
Loader_pe.Symbol.header,
Loader_raw.Symbol.header,
Loader_ti83.Symbol.header)
t_pack
and type Img.header =
(Loader_elf.Img.header,
Loader_pe.Img.header,
Loader_raw.Img.header,
Loader_ti83.Img.header)
t_pack