Module Fields_of_elf.Direct
val iter :
elf ->
e_class:((elf, e_class) Fieldslib.Field.t -> elf -> e_class -> unit) ->
e_data:((elf, e_data) Fieldslib.Field.t -> elf -> e_data -> unit) ->
e_version:((elf, int) Fieldslib.Field.t -> elf -> int -> unit) ->
e_osabi:((elf, e_osabi) Fieldslib.Field.t -> elf -> e_osabi -> unit) ->
e_abiver:((elf, int) Fieldslib.Field.t -> elf -> int -> unit) ->
e_type:((elf, e_type) Fieldslib.Field.t -> elf -> e_type -> unit) ->
e_machine:((elf, e_machine) Fieldslib.Field.t -> elf -> e_machine -> unit) ->
e_entry:((elf, int64) Fieldslib.Field.t -> elf -> int64 -> unit) ->
e_shstrndx:((elf, int) Fieldslib.Field.t -> elf -> int -> unit) ->
e_sections:
((elf, section Regular.Std.seq) Fieldslib.Field.t ->
elf ->
section Regular.Std.seq ->
unit) ->
e_segments:
((elf, segment Regular.Std.seq) Fieldslib.Field.t ->
elf ->
segment Regular.Std.seq ->
unit) ->
unit
val fold :
elf ->
init:'acc__0 ->
e_class:
('acc__0 -> (elf, e_class) Fieldslib.Field.t -> elf -> e_class -> 'acc__1) ->
e_data:
('acc__1 -> (elf, e_data) Fieldslib.Field.t -> elf -> e_data -> 'acc__2) ->
e_version:('acc__2 -> (elf, int) Fieldslib.Field.t -> elf -> int -> 'acc__3) ->
e_osabi:
('acc__3 -> (elf, e_osabi) Fieldslib.Field.t -> elf -> e_osabi -> 'acc__4) ->
e_abiver:('acc__4 -> (elf, int) Fieldslib.Field.t -> elf -> int -> 'acc__5) ->
e_type:
('acc__5 -> (elf, e_type) Fieldslib.Field.t -> elf -> e_type -> 'acc__6) ->
e_machine:
('acc__6 ->
(elf, e_machine) Fieldslib.Field.t ->
elf ->
e_machine ->
'acc__7) ->
e_entry:
('acc__7 -> (elf, int64) Fieldslib.Field.t -> elf -> int64 -> 'acc__8) ->
e_shstrndx:('acc__8 -> (elf, int) Fieldslib.Field.t -> elf -> int -> 'acc__9) ->
e_sections:
('acc__9 ->
(elf, section Regular.Std.seq) Fieldslib.Field.t ->
elf ->
section Regular.Std.seq ->
'acc__10) ->
e_segments:
('acc__10 ->
(elf, segment Regular.Std.seq) Fieldslib.Field.t ->
elf ->
segment Regular.Std.seq ->
'acc__11) ->
'acc__11
val for_all :
elf ->
e_class:((elf, e_class) Fieldslib.Field.t -> elf -> e_class -> bool) ->
e_data:((elf, e_data) Fieldslib.Field.t -> elf -> e_data -> bool) ->
e_version:((elf, int) Fieldslib.Field.t -> elf -> int -> bool) ->
e_osabi:((elf, e_osabi) Fieldslib.Field.t -> elf -> e_osabi -> bool) ->
e_abiver:((elf, int) Fieldslib.Field.t -> elf -> int -> bool) ->
e_type:((elf, e_type) Fieldslib.Field.t -> elf -> e_type -> bool) ->
e_machine:((elf, e_machine) Fieldslib.Field.t -> elf -> e_machine -> bool) ->
e_entry:((elf, int64) Fieldslib.Field.t -> elf -> int64 -> bool) ->
e_shstrndx:((elf, int) Fieldslib.Field.t -> elf -> int -> bool) ->
e_sections:
((elf, section Regular.Std.seq) Fieldslib.Field.t ->
elf ->
section Regular.Std.seq ->
bool) ->
e_segments:
((elf, segment Regular.Std.seq) Fieldslib.Field.t ->
elf ->
segment Regular.Std.seq ->
bool) ->
bool
val exists :
elf ->
e_class:((elf, e_class) Fieldslib.Field.t -> elf -> e_class -> bool) ->
e_data:((elf, e_data) Fieldslib.Field.t -> elf -> e_data -> bool) ->
e_version:((elf, int) Fieldslib.Field.t -> elf -> int -> bool) ->
e_osabi:((elf, e_osabi) Fieldslib.Field.t -> elf -> e_osabi -> bool) ->
e_abiver:((elf, int) Fieldslib.Field.t -> elf -> int -> bool) ->
e_type:((elf, e_type) Fieldslib.Field.t -> elf -> e_type -> bool) ->
e_machine:((elf, e_machine) Fieldslib.Field.t -> elf -> e_machine -> bool) ->
e_entry:((elf, int64) Fieldslib.Field.t -> elf -> int64 -> bool) ->
e_shstrndx:((elf, int) Fieldslib.Field.t -> elf -> int -> bool) ->
e_sections:
((elf, section Regular.Std.seq) Fieldslib.Field.t ->
elf ->
section Regular.Std.seq ->
bool) ->
e_segments:
((elf, segment Regular.Std.seq) Fieldslib.Field.t ->
elf ->
segment Regular.Std.seq ->
bool) ->
bool
val to_list :
elf ->
e_class:((elf, e_class) Fieldslib.Field.t -> elf -> e_class -> 'elem__) ->
e_data:((elf, e_data) Fieldslib.Field.t -> elf -> e_data -> 'elem__) ->
e_version:((elf, int) Fieldslib.Field.t -> elf -> int -> 'elem__) ->
e_osabi:((elf, e_osabi) Fieldslib.Field.t -> elf -> e_osabi -> 'elem__) ->
e_abiver:((elf, int) Fieldslib.Field.t -> elf -> int -> 'elem__) ->
e_type:((elf, e_type) Fieldslib.Field.t -> elf -> e_type -> 'elem__) ->
e_machine:((elf, e_machine) Fieldslib.Field.t -> elf -> e_machine -> 'elem__) ->
e_entry:((elf, int64) Fieldslib.Field.t -> elf -> int64 -> 'elem__) ->
e_shstrndx:((elf, int) Fieldslib.Field.t -> elf -> int -> 'elem__) ->
e_sections:
((elf, section Regular.Std.seq) Fieldslib.Field.t ->
elf ->
section Regular.Std.seq ->
'elem__) ->
e_segments:
((elf, segment Regular.Std.seq) Fieldslib.Field.t ->
elf ->
segment Regular.Std.seq ->
'elem__) ->
'elem__ list
val map :
elf ->
e_class:((elf, e_class) Fieldslib.Field.t -> elf -> e_class -> e_class) ->
e_data:((elf, e_data) Fieldslib.Field.t -> elf -> e_data -> e_data) ->
e_version:((elf, int) Fieldslib.Field.t -> elf -> int -> int) ->
e_osabi:((elf, e_osabi) Fieldslib.Field.t -> elf -> e_osabi -> e_osabi) ->
e_abiver:((elf, int) Fieldslib.Field.t -> elf -> int -> int) ->
e_type:((elf, e_type) Fieldslib.Field.t -> elf -> e_type -> e_type) ->
e_machine:
((elf, e_machine) Fieldslib.Field.t -> elf -> e_machine -> e_machine) ->
e_entry:((elf, int64) Fieldslib.Field.t -> elf -> int64 -> int64) ->
e_shstrndx:((elf, int) Fieldslib.Field.t -> elf -> int -> int) ->
e_sections:
((elf, section Regular.Std.seq) Fieldslib.Field.t ->
elf ->
section Regular.Std.seq ->
section Regular.Std.seq) ->
e_segments:
((elf, segment Regular.Std.seq) Fieldslib.Field.t ->
elf ->
segment Regular.Std.seq ->
segment Regular.Std.seq) ->
elf
val set_all_mutable_fields : elf -> unit