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 ->
number:((t, int) Fieldslib.Field.t -> t -> int -> unit) ->
args:
((t, Bap.Std.word array) Fieldslib.Field.t ->
t ->
Bap.Std.word array ->
unit) ->
unitval fold :
t ->
init:'acc__0 ->
number:('acc__0 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__1) ->
args:
('acc__1 ->
(t, Bap.Std.word array) Fieldslib.Field.t ->
t ->
Bap.Std.word array ->
'acc__2) ->
'acc__2val for_all :
t ->
number:((t, int) Fieldslib.Field.t -> t -> int -> bool) ->
args:
((t, Bap.Std.word array) Fieldslib.Field.t ->
t ->
Bap.Std.word array ->
bool) ->
boolval exists :
t ->
number:((t, int) Fieldslib.Field.t -> t -> int -> bool) ->
args:
((t, Bap.Std.word array) Fieldslib.Field.t ->
t ->
Bap.Std.word array ->
bool) ->
boolval to_list :
t ->
number:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) ->
args:
((t, Bap.Std.word array) Fieldslib.Field.t ->
t ->
Bap.Std.word array ->
'elem__) ->
'elem__ listval map :
t ->
number:((t, int) Fieldslib.Field.t -> t -> int -> int) ->
args:
((t, Bap.Std.word array) Fieldslib.Field.t ->
t ->
Bap.Std.word array ->
Bap.Std.word array) ->
tval set_all_mutable_fields : t -> unit