package bap-elf

  1. Overview
  2. Docs
val names : string list
val entry_num : (table_info, int) Fieldslib.Field.t
val entry_size : (table_info, int) Fieldslib.Field.t
val table_offset : (table_info, int64) Fieldslib.Field.t
val fold : init:'acc__0 -> table_offset:('acc__0 -> (table_info, int64) Fieldslib.Field.t -> 'acc__1) -> entry_size:('acc__1 -> (table_info, int) Fieldslib.Field.t -> 'acc__2) -> entry_num:('acc__2 -> (table_info, int) Fieldslib.Field.t -> 'acc__3) -> 'acc__3
val make_creator : table_offset: ((table_info, int64) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> int64) * 'acc__1) -> entry_size: ((table_info, int) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> int) * 'acc__2) -> entry_num: ((table_info, int) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> int) * 'acc__3) -> 'acc__0 -> ('input__ -> table_info) * 'acc__3
val create : table_offset:int64 -> entry_size:int -> entry_num:int -> table_info
val map : table_offset:((table_info, int64) Fieldslib.Field.t -> int64) -> entry_size:((table_info, int) Fieldslib.Field.t -> int) -> entry_num:((table_info, int) Fieldslib.Field.t -> int) -> table_info
val iter : table_offset:((table_info, int64) Fieldslib.Field.t -> unit) -> entry_size:((table_info, int) Fieldslib.Field.t -> unit) -> entry_num:((table_info, int) Fieldslib.Field.t -> unit) -> unit
val for_all : table_offset:((table_info, int64) Fieldslib.Field.t -> bool) -> entry_size:((table_info, int) Fieldslib.Field.t -> bool) -> entry_num:((table_info, int) Fieldslib.Field.t -> bool) -> bool
val exists : table_offset:((table_info, int64) Fieldslib.Field.t -> bool) -> entry_size:((table_info, int) Fieldslib.Field.t -> bool) -> entry_num:((table_info, int) Fieldslib.Field.t -> bool) -> bool
val to_list : table_offset:((table_info, int64) Fieldslib.Field.t -> 'elem__) -> entry_size:((table_info, int) Fieldslib.Field.t -> 'elem__) -> entry_num:((table_info, int) Fieldslib.Field.t -> 'elem__) -> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], table_info, 'x0) Fieldslib.Field.user -> 'x0 list
module Direct : sig ... end
OCaml

Innovation. Community. Security.