package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Loader.Section`Source

type t =
  (Loader_elf.Section.t,
    Loader_pe.Section.t,
    Loader_raw.Section.t,
    Loader_ti83.Section.t)
    t_pack

type header =
  (Loader_elf.Section.header,
    Loader_pe.Section.header,
    Loader_raw.Section.header,
    Loader_ti83.Section.header)
    t_pack

Sourceval name : t -> string

Sourceval pos : t -> (int, Binsec_base.Virtual_address.t) Loader_types.map

Sourceval size : t -> (int, Z.t) Loader_types.map

Sourceval header : t -> header

Sourceval has_flag : Loader_types.section_flag -> t -> bool