Module Fields.Direct

val iter : t -> number:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> src: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> unit) -> dst: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> unit) -> unit
val fold : t -> init:'acc__0 -> number:('acc__0 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__1) -> src: ('acc__1 -> (t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> 'acc__2) -> dst: ('acc__2 -> (t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> 'acc__3) -> 'acc__3
val for_all : t -> number:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> src: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> bool) -> dst: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> bool) -> bool
val exists : t -> number:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> src: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> bool) -> dst: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> bool) -> bool
val to_list : t -> number:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> src: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> 'elem__) -> dst: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> 'elem__) -> 'elem__ list
val map : t -> number:((t, int) Fieldslib.Field.t -> t -> int -> int) -> src: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> Bap.Std.addr option) -> dst: ((t, Bap.Std.addr option) Fieldslib.Field.t -> t -> Bap.Std.addr option -> Bap.Std.addr option) -> t
val set_all_mutable_fields : t -> unit