package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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