bap-elf 1.3.0 · OCaml Package

val iter : 
  segment ->
  p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> unit) ->
  p_flags:
    ((segment, p_flag list) Fieldslib.Field.t ->
      segment ->
      p_flag list ->
      unit) ->
  p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) ->
  p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) ->
  p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) ->
  p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) ->
  p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) ->
  p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) ->
  unit

val fold : 
  segment ->
  init:'acc__0 ->
  p_type:
    ('acc__0 ->
      (segment, p_type) Fieldslib.Field.t ->
      segment ->
      p_type ->
      'acc__1) ->
  p_flags:
    ('acc__1 ->
      (segment, p_flag list) Fieldslib.Field.t ->
      segment ->
      p_flag list ->
      'acc__2) ->
  p_vaddr:
    ('acc__2 ->
      (segment, int64) Fieldslib.Field.t ->
      segment ->
      int64 ->
      'acc__3) ->
  p_paddr:
    ('acc__3 ->
      (segment, int64) Fieldslib.Field.t ->
      segment ->
      int64 ->
      'acc__4) ->
  p_align:
    ('acc__4 ->
      (segment, int64) Fieldslib.Field.t ->
      segment ->
      int64 ->
      'acc__5) ->
  p_memsz:
    ('acc__5 ->
      (segment, int64) Fieldslib.Field.t ->
      segment ->
      int64 ->
      'acc__6) ->
  p_filesz:
    ('acc__6 ->
      (segment, int64) Fieldslib.Field.t ->
      segment ->
      int64 ->
      'acc__7) ->
  p_offset:
    ('acc__7 ->
      (segment, int64) Fieldslib.Field.t ->
      segment ->
      int64 ->
      'acc__8) ->
  'acc__8

val for_all : 
  segment ->
  p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> bool) ->
  p_flags:
    ((segment, p_flag list) Fieldslib.Field.t ->
      segment ->
      p_flag list ->
      bool) ->
  p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  bool

val exists : 
  segment ->
  p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> bool) ->
  p_flags:
    ((segment, p_flag list) Fieldslib.Field.t ->
      segment ->
      p_flag list ->
      bool) ->
  p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) ->
  bool

val to_list : 
  segment ->
  p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> 'elem__) ->
  p_flags:
    ((segment, p_flag list) Fieldslib.Field.t ->
      segment ->
      p_flag list ->
      'elem__) ->
  p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) ->
  p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) ->
  p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) ->
  p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) ->
  p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) ->
  p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) ->
  'elem__ list

val map : 
  segment ->
  p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> p_type) ->
  p_flags:
    ((segment, p_flag list) Fieldslib.Field.t ->
      segment ->
      p_flag list ->
      p_flag list) ->
  p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) ->
  p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) ->
  p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) ->
  p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) ->
  p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) ->
  p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) ->
  segment

val set_all_mutable_fields : segment -> unit

package bap-elf