Section (p.binsec.0.8.2.doc.binsec.Binsec.Loader.Section)

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

val name : t -> string

val flag : t -> int

val pos : t -> int Loader_types.map

val size : t -> int Loader_types.map

val header : t -> header

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