Module Fields.Direct

val iter : 'a t -> cell:(('a t, 'a) Fieldslib.Field.t -> 'a t -> 'a -> unit) -> data:(('a t, Bap.Std.word) Fieldslib.Field.t -> 'a t -> Bap.Std.word -> unit) -> unit
val fold : 'a t -> init:'acc__0 -> cell:('acc__0 -> ('a t, 'a) Fieldslib.Field.t -> 'a t -> 'a -> 'acc__1) -> data: ('acc__1 -> ('a t, Bap.Std.word) Fieldslib.Field.t -> 'a t -> Bap.Std.word -> 'acc__2) -> 'acc__2
val for_all : 'a t -> cell:(('a t, 'a) Fieldslib.Field.t -> 'a t -> 'a -> bool) -> data:(('a t, Bap.Std.word) Fieldslib.Field.t -> 'a t -> Bap.Std.word -> bool) -> bool
val exists : 'a t -> cell:(('a t, 'a) Fieldslib.Field.t -> 'a t -> 'a -> bool) -> data:(('a t, Bap.Std.word) Fieldslib.Field.t -> 'a t -> Bap.Std.word -> bool) -> bool
val to_list : 'a t -> cell:(('a t, 'a) Fieldslib.Field.t -> 'a t -> 'a -> 'elem__) -> data: (('a t, Bap.Std.word) Fieldslib.Field.t -> 'a t -> Bap.Std.word -> 'elem__) -> 'elem__ list
val map : 'a t -> cell:(('a t, 'a) Fieldslib.Field.t -> 'a t -> 'a -> 'a) -> data: (('a t, Bap.Std.word) Fieldslib.Field.t -> 'a t -> Bap.Std.word -> Bap.Std.word) -> 'a t
val set_all_mutable_fields : 'a t -> unit