Module Fields_of_segment.Direct

val iter : segment -> p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> unit) -> p_flags: ((segment, p_flag list) Fieldslib.Field.t -> segment -> p_flag list -> unit) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) -> p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) -> p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) -> p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) -> p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) -> p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> unit) -> unit
val fold : segment -> init:'acc__0 -> p_type: ('acc__0 -> (segment, p_type) Fieldslib.Field.t -> segment -> p_type -> 'acc__1) -> p_flags: ('acc__1 -> (segment, p_flag list) Fieldslib.Field.t -> segment -> p_flag list -> 'acc__2) -> p_vaddr: ('acc__2 -> (segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'acc__3) -> p_paddr: ('acc__3 -> (segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'acc__4) -> p_align: ('acc__4 -> (segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'acc__5) -> p_memsz: ('acc__5 -> (segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'acc__6) -> p_filesz: ('acc__6 -> (segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'acc__7) -> p_offset: ('acc__7 -> (segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'acc__8) -> 'acc__8
val for_all : segment -> p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> bool) -> p_flags: ((segment, p_flag list) Fieldslib.Field.t -> segment -> p_flag list -> bool) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> bool
val exists : segment -> p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> bool) -> p_flags: ((segment, p_flag list) Fieldslib.Field.t -> segment -> p_flag list -> bool) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> bool) -> bool
val to_list : segment -> p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> 'elem__) -> p_flags: ((segment, p_flag list) Fieldslib.Field.t -> segment -> p_flag list -> 'elem__) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) -> p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) -> p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) -> p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) -> p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) -> p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> 'elem__) -> 'elem__ list
val map : segment -> p_type:((segment, p_type) Fieldslib.Field.t -> segment -> p_type -> p_type) -> p_flags: ((segment, p_flag list) Fieldslib.Field.t -> segment -> p_flag list -> p_flag list) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) -> p_paddr:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) -> p_align:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) -> p_memsz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) -> p_filesz:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) -> p_offset:((segment, int64) Fieldslib.Field.t -> segment -> int64 -> int64) -> segment
val set_all_mutable_fields : segment -> unit