bap-std 2.2.0 · OCaml Package

val iter : 
  t ->
  arch:((t, arch) Fieldslib.Field.t -> t -> arch -> unit) ->
  entry:((t, addr) Fieldslib.Field.t -> t -> addr -> unit) ->
  segments:
    ((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
      t ->
      (Segment.t * Segment.t list) ->
      unit) ->
  symbols:((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> unit) ->
  sections:
    ((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> unit) ->
  unit

val fold : 
  t ->
  init:'acc__0 ->
  arch:('acc__0 -> (t, arch) Fieldslib.Field.t -> t -> arch -> 'acc__1) ->
  entry:('acc__1 -> (t, addr) Fieldslib.Field.t -> t -> addr -> 'acc__2) ->
  segments:
    ('acc__2 ->
      (t, Segment.t * Segment.t list) Fieldslib.Field.t ->
      t ->
      (Segment.t * Segment.t list) ->
      'acc__3) ->
  symbols:
    ('acc__3 ->
      (t, Symbol.t list) Fieldslib.Field.t ->
      t ->
      Symbol.t list ->
      'acc__4) ->
  sections:
    ('acc__4 ->
      (t, Section.t list) Fieldslib.Field.t ->
      t ->
      Section.t list ->
      'acc__5) ->
  'acc__5

val for_all : 
  t ->
  arch:((t, arch) Fieldslib.Field.t -> t -> arch -> bool) ->
  entry:((t, addr) Fieldslib.Field.t -> t -> addr -> bool) ->
  segments:
    ((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
      t ->
      (Segment.t * Segment.t list) ->
      bool) ->
  symbols:((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> bool) ->
  sections:
    ((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> bool) ->
  bool

val exists : 
  t ->
  arch:((t, arch) Fieldslib.Field.t -> t -> arch -> bool) ->
  entry:((t, addr) Fieldslib.Field.t -> t -> addr -> bool) ->
  segments:
    ((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
      t ->
      (Segment.t * Segment.t list) ->
      bool) ->
  symbols:((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> bool) ->
  sections:
    ((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> bool) ->
  bool

val to_list : 
  t ->
  arch:((t, arch) Fieldslib.Field.t -> t -> arch -> 'elem__) ->
  entry:((t, addr) Fieldslib.Field.t -> t -> addr -> 'elem__) ->
  segments:
    ((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
      t ->
      (Segment.t * Segment.t list) ->
      'elem__) ->
  symbols:
    ((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> 'elem__) ->
  sections:
    ((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> 'elem__) ->
  'elem__ list

val map : 
  t ->
  arch:((t, arch) Fieldslib.Field.t -> t -> arch -> arch) ->
  entry:((t, addr) Fieldslib.Field.t -> t -> addr -> addr) ->
  segments:
    ((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
      t ->
      (Segment.t * Segment.t list) ->
      Segment.t * Segment.t list) ->
  symbols:
    ((t, Symbol.t list) Fieldslib.Field.t ->
      t ->
      Symbol.t list ->
      Symbol.t list) ->
  sections:
    ((t, Section.t list) Fieldslib.Field.t ->
      t ->
      Section.t list ->
      Section.t list) ->
  t

val set_all_mutable_fields : t -> unit

package bap-std