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