Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-traces
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val iter :
t ->
name:((t, string option) Fieldslib.Field.t -> t -> string option -> unit) ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> unit) ->
unitval fold :
t ->
init:'acc__0 ->
name:
('acc__0 ->
(t, string option) Fieldslib.Field.t ->
t ->
string option ->
'acc__1) ->
addr:
('acc__1 ->
(t, Bap.Std.addr) Fieldslib.Field.t ->
t ->
Bap.Std.addr ->
'acc__2) ->
'acc__2val for_all :
t ->
name:((t, string option) Fieldslib.Field.t -> t -> string option -> bool) ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> bool) ->
boolval exists :
t ->
name:((t, string option) Fieldslib.Field.t -> t -> string option -> bool) ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> bool) ->
boolval to_list :
t ->
name:((t, string option) Fieldslib.Field.t -> t -> string option -> 'elem__) ->
addr:((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> 'elem__) ->
'elem__ listval map :
t ->
name:
((t, string option) Fieldslib.Field.t ->
t ->
string option ->
string option) ->
addr:
((t, Bap.Std.addr) Fieldslib.Field.t -> t -> Bap.Std.addr -> Bap.Std.addr) ->
tval set_all_mutable_fields : t -> unit