bap-std 2.3.0 · OCaml Package

val iter : 
  t ->
  name:((t, string) Fieldslib.Field.t -> t -> string -> unit) ->
  is_function:((t, bool) Fieldslib.Field.t -> t -> bool -> unit) ->
  is_debug:((t, bool) Fieldslib.Field.t -> t -> bool -> unit) ->
  locations:
    ((t, location * location list) Fieldslib.Field.t ->
      t ->
      (location * location list) ->
      unit) ->
  unit

val fold : 
  t ->
  init:'acc__0 ->
  name:('acc__0 -> (t, string) Fieldslib.Field.t -> t -> string -> 'acc__1) ->
  is_function:('acc__1 -> (t, bool) Fieldslib.Field.t -> t -> bool -> 'acc__2) ->
  is_debug:('acc__2 -> (t, bool) Fieldslib.Field.t -> t -> bool -> 'acc__3) ->
  locations:
    ('acc__3 ->
      (t, location * location list) Fieldslib.Field.t ->
      t ->
      (location * location list) ->
      'acc__4) ->
  'acc__4

val for_all : 
  t ->
  name:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
  is_function:((t, bool) Fieldslib.Field.t -> t -> bool -> bool) ->
  is_debug:((t, bool) Fieldslib.Field.t -> t -> bool -> bool) ->
  locations:
    ((t, location * location list) Fieldslib.Field.t ->
      t ->
      (location * location list) ->
      bool) ->
  bool

val exists : 
  t ->
  name:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
  is_function:((t, bool) Fieldslib.Field.t -> t -> bool -> bool) ->
  is_debug:((t, bool) Fieldslib.Field.t -> t -> bool -> bool) ->
  locations:
    ((t, location * location list) Fieldslib.Field.t ->
      t ->
      (location * location list) ->
      bool) ->
  bool

val to_list : 
  t ->
  name:((t, string) Fieldslib.Field.t -> t -> string -> 'elem__) ->
  is_function:((t, bool) Fieldslib.Field.t -> t -> bool -> 'elem__) ->
  is_debug:((t, bool) Fieldslib.Field.t -> t -> bool -> 'elem__) ->
  locations:
    ((t, location * location list) Fieldslib.Field.t ->
      t ->
      (location * location list) ->
      'elem__) ->
  'elem__ list

val map : 
  t ->
  name:((t, string) Fieldslib.Field.t -> t -> string -> string) ->
  is_function:((t, bool) Fieldslib.Field.t -> t -> bool -> bool) ->
  is_debug:((t, bool) Fieldslib.Field.t -> t -> bool -> bool) ->
  locations:
    ((t, location * location list) Fieldslib.Field.t ->
      t ->
      (location * location list) ->
      location * location list) ->
  t

val set_all_mutable_fields : t -> unit

package bap-std