Direct (bap-elf.Bap_elf.Std.Elf.Fields_of

val iter : 
  section ->
  sh_name:((section, int) Fieldslib.Field.t -> section -> int -> unit) ->
  sh_type:((section, sh_type) Fieldslib.Field.t -> section -> sh_type -> unit) ->
  sh_flags:
    ((section, sh_flag list) Fieldslib.Field.t ->
      section ->
      sh_flag list ->
      unit) ->
  sh_addr:((section, int64) Fieldslib.Field.t -> section -> int64 -> unit) ->
  sh_size:((section, int64) Fieldslib.Field.t -> section -> int64 -> unit) ->
  sh_link:((section, int32) Fieldslib.Field.t -> section -> int32 -> unit) ->
  sh_info:((section, int32) Fieldslib.Field.t -> section -> int32 -> unit) ->
  sh_addralign:((section, int64) Fieldslib.Field.t -> section -> int64 -> unit) ->
  sh_entsize:((section, int64) Fieldslib.Field.t -> section -> int64 -> unit) ->
  sh_offset:((section, int64) Fieldslib.Field.t -> section -> int64 -> unit) ->
  unit

val fold : 
  section ->
  init:'acc__0 ->
  sh_name:
    ('acc__0 -> (section, int) Fieldslib.Field.t -> section -> int -> 'acc__1) ->
  sh_type:
    ('acc__1 ->
      (section, sh_type) Fieldslib.Field.t ->
      section ->
      sh_type ->
      'acc__2) ->
  sh_flags:
    ('acc__2 ->
      (section, sh_flag list) Fieldslib.Field.t ->
      section ->
      sh_flag list ->
      'acc__3) ->
  sh_addr:
    ('acc__3 ->
      (section, int64) Fieldslib.Field.t ->
      section ->
      int64 ->
      'acc__4) ->
  sh_size:
    ('acc__4 ->
      (section, int64) Fieldslib.Field.t ->
      section ->
      int64 ->
      'acc__5) ->
  sh_link:
    ('acc__5 ->
      (section, int32) Fieldslib.Field.t ->
      section ->
      int32 ->
      'acc__6) ->
  sh_info:
    ('acc__6 ->
      (section, int32) Fieldslib.Field.t ->
      section ->
      int32 ->
      'acc__7) ->
  sh_addralign:
    ('acc__7 ->
      (section, int64) Fieldslib.Field.t ->
      section ->
      int64 ->
      'acc__8) ->
  sh_entsize:
    ('acc__8 ->
      (section, int64) Fieldslib.Field.t ->
      section ->
      int64 ->
      'acc__9) ->
  sh_offset:
    ('acc__9 ->
      (section, int64) Fieldslib.Field.t ->
      section ->
      int64 ->
      'acc__10) ->
  'acc__10

val for_all : 
  section ->
  sh_name:((section, int) Fieldslib.Field.t -> section -> int -> bool) ->
  sh_type:((section, sh_type) Fieldslib.Field.t -> section -> sh_type -> bool) ->
  sh_flags:
    ((section, sh_flag list) Fieldslib.Field.t ->
      section ->
      sh_flag list ->
      bool) ->
  sh_addr:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_size:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_link:((section, int32) Fieldslib.Field.t -> section -> int32 -> bool) ->
  sh_info:((section, int32) Fieldslib.Field.t -> section -> int32 -> bool) ->
  sh_addralign:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_entsize:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_offset:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  bool

val exists : 
  section ->
  sh_name:((section, int) Fieldslib.Field.t -> section -> int -> bool) ->
  sh_type:((section, sh_type) Fieldslib.Field.t -> section -> sh_type -> bool) ->
  sh_flags:
    ((section, sh_flag list) Fieldslib.Field.t ->
      section ->
      sh_flag list ->
      bool) ->
  sh_addr:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_size:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_link:((section, int32) Fieldslib.Field.t -> section -> int32 -> bool) ->
  sh_info:((section, int32) Fieldslib.Field.t -> section -> int32 -> bool) ->
  sh_addralign:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_entsize:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  sh_offset:((section, int64) Fieldslib.Field.t -> section -> int64 -> bool) ->
  bool

val to_list : 
  section ->
  sh_name:((section, int) Fieldslib.Field.t -> section -> int -> 'elem__) ->
  sh_type:
    ((section, sh_type) Fieldslib.Field.t -> section -> sh_type -> 'elem__) ->
  sh_flags:
    ((section, sh_flag list) Fieldslib.Field.t ->
      section ->
      sh_flag list ->
      'elem__) ->
  sh_addr:((section, int64) Fieldslib.Field.t -> section -> int64 -> 'elem__) ->
  sh_size:((section, int64) Fieldslib.Field.t -> section -> int64 -> 'elem__) ->
  sh_link:((section, int32) Fieldslib.Field.t -> section -> int32 -> 'elem__) ->
  sh_info:((section, int32) Fieldslib.Field.t -> section -> int32 -> 'elem__) ->
  sh_addralign:
    ((section, int64) Fieldslib.Field.t -> section -> int64 -> 'elem__) ->
  sh_entsize:
    ((section, int64) Fieldslib.Field.t -> section -> int64 -> 'elem__) ->
  sh_offset:((section, int64) Fieldslib.Field.t -> section -> int64 -> 'elem__) ->
  'elem__ list

val map : 
  section ->
  sh_name:((section, int) Fieldslib.Field.t -> section -> int -> int) ->
  sh_type:
    ((section, sh_type) Fieldslib.Field.t -> section -> sh_type -> sh_type) ->
  sh_flags:
    ((section, sh_flag list) Fieldslib.Field.t ->
      section ->
      sh_flag list ->
      sh_flag list) ->
  sh_addr:((section, int64) Fieldslib.Field.t -> section -> int64 -> int64) ->
  sh_size:((section, int64) Fieldslib.Field.t -> section -> int64 -> int64) ->
  sh_link:((section, int32) Fieldslib.Field.t -> section -> int32 -> int32) ->
  sh_info:((section, int32) Fieldslib.Field.t -> section -> int32 -> int32) ->
  sh_addralign:
    ((section, int64) Fieldslib.Field.t -> section -> int64 -> int64) ->
  sh_entsize:((section, int64) Fieldslib.Field.t -> section -> int64 -> int64) ->
  sh_offset:((section, int64) Fieldslib.Field.t -> section -> int64 -> int64) ->
  section

val set_all_mutable_fields : section -> unit