val iter :
t ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> unit) ->
data:((t, string) Fieldslib.Field.t -> t -> string -> unit) ->
unitval fold :
t ->
init:'acc__0 ->
addr:
('acc__0 ->
(t, Bap.Std.addr) Fieldslib.Field.t ->
t ->
Bap.Std.addr ->
'acc__1) ->
data:('acc__1 -> (t, string) Fieldslib.Field.t -> t -> string -> 'acc__2) ->
'acc__2val for_all :
t ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> bool) ->
data:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
boolval exists :
t ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> bool) ->
data:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
boolval to_list :
t ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> 'elem__) ->
data:((t, string) Fieldslib.Field.t -> t -> string -> 'elem__) ->
'elem__ listval map :
t ->
addr:
((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> Bap.Std.addr) ->
data:((t, string) Fieldslib.Field.t -> t -> string -> string) ->
tval set_all_mutable_fields : t -> unit