package linksem

You can search for identifiers within the package.

in-package search v0.2.0

package linksem

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

val my_debug : 'a -> unit

val my_debug2 : 'a -> unit

val my_debug3 : 'a -> unit

val my_debug4 : 'a -> unit

val my_debug5 : 'a -> unit

type dwarf_attribute_classes =

| DWA_7_5_3
| DWA_address
| DWA_block
| DWA_constant
| DWA_dash
| DWA_exprloc
| DWA_flag
| DWA_lineptr
| DWA_loclistptr
| DWA_macptr
| DWA_rangelistptr
| DWA_reference
| DWA_string

type operation_argument_type =

| OAT_addr
| OAT_dwarf_format_t
| OAT_uint8
| OAT_uint16
| OAT_uint32
| OAT_uint64
| OAT_sint8
| OAT_sint16
| OAT_sint32
| OAT_sint64
| OAT_ULEB128
| OAT_SLEB128
| OAT_block

type operation_argument_value =

| OAV_natural of Nat_big_num.num
| OAV_integer of Nat_big_num.num
| OAV_block of Nat_big_num.num * Byte_sequence.byte_sequence0

type operation_stack = Nat_big_num.num list

type arithmetic_context = {

ac_bitwidth : Nat_big_num.num;
ac_half : Nat_big_num.num;
ac_all : Nat_big_num.num;
ac_max : Nat_big_num.num;

}

type operation_semantics =

| OpSem_lit
| OpSem_deref
| OpSem_stack of arithmetic_context -> operation_stack -> operation_argument_value list -> operation_stack option
| OpSem_not_supported
| OpSem_binary of arithmetic_context -> Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num option
| OpSem_unary of arithmetic_context -> Nat_big_num.num -> Nat_big_num.num option
| OpSem_opcode_lit of Nat_big_num.num
| OpSem_reg
| OpSem_breg
| OpSem_bregx
| OpSem_fbreg
| OpSem_deref_size
| OpSem_nop
| OpSem_piece
| OpSem_bit_piece
| OpSem_implicit_value
| OpSem_stack_value
| OpSem_call_frame_cfa

type operation = {

op_code : Nat_big_num.num;
op_string : string;
op_argument_values : operation_argument_value list;
op_semantics : operation_semantics;

}

type simple_location =

| SL_memory_address of Nat_big_num.num
| SL_register of Nat_big_num.num
| SL_implicit of Byte_sequence.byte_sequence0
| SL_empty

type composite_location_piece =

| CLP_piece of Nat_big_num.num * simple_location
| CLP_bit_piece of Nat_big_num.num * Nat_big_num.num * simple_location

type single_location =

| SL_simple of simple_location
| SL_composite of composite_location_piece list

type state = {

s_stack : operation_stack;
s_value : simple_location;
s_location_pieces : composite_location_piece list;

}

type !'a register_read_result =

| RRR_result of Nat_big_num.num
| RRR_not_currently_available
| RRR_bad_register_number

type !'a memory_read_result =

| MRR_result of Nat_big_num.num
| MRR_not_currently_available
| MRR_bad_address

type evaluation_context = {

read_register : Nat_big_num.num -> Nat_big_num.num register_read_result;
read_memory : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num memory_read_result;

}

type dwarf_format =

| Dwarf32
| Dwarf64

type abbreviation_declaration = {

ad_abbreviation_code : Nat_big_num.num;
ad_tag : Nat_big_num.num;
ad_has_children : bool;
ad_attribute_specifications : (Nat_big_num.num * Nat_big_num.num) list;

}

type abbreviations_table = abbreviation_declaration list

type attribute_value =

| AV_addr of Nat_big_num.num
| AV_block of Nat_big_num.num * Byte_sequence.byte_sequence0
| AV_constantN of Nat_big_num.num * Byte_sequence.byte_sequence0
| AV_constant_SLEB128 of Nat_big_num.num
| AV_constant_ULEB128 of Nat_big_num.num
| AV_exprloc of Nat_big_num.num * Byte_sequence.byte_sequence0
| AV_flag of bool
| AV_ref of Nat_big_num.num
| AV_ref_addr of Nat_big_num.num
| AV_ref_sig8 of Nat_big_num.num
| AV_sec_offset of Nat_big_num.num
| AV_string of Byte_sequence.byte_sequence0
| AV_strp of Nat_big_num.num

type die = {

die_offset : Nat_big_num.num;
die_abbreviation_code : Nat_big_num.num;
die_abbreviation_declaration : abbreviation_declaration;
die_attribute_values : (Nat_big_num.num * attribute_value) list;
die_children : die list;

}

type die_index = (Nat_big_num.num, die list * die) Pmap.map

type compilation_unit_header = {

cuh_offset : Nat_big_num.num;
cuh_dwarf_format : dwarf_format;
cuh_unit_length : Nat_big_num.num;
cuh_version : Nat_big_num.num;
cuh_debug_abbrev_offset : Nat_big_num.num;
cuh_address_size : Nat_big_num.num;

}

type compilation_unit = {

cu_header : compilation_unit_header;
cu_abbreviations_table : abbreviations_table;
cu_die : die;
cu_index : die_index;

}

type compilation_units = compilation_unit list

type type_unit_header = {

tuh_cuh : compilation_unit_header;
tuh_type_signature : Nat_big_num.num;
tuh_type_offset : Nat_big_num.num;

}

type type_unit = {

tu_header : type_unit_header;
tu_abbreviations_table : abbreviations_table;
tu_die : die;

}

type type_units = type_unit list

type single_location_description = Byte_sequence.byte_sequence0

type location_list_entry = {

lle_beginning_address_offset : Nat_big_num.num;
lle_ending_address_offset : Nat_big_num.num;
lle_single_location_description : single_location_description;

}

type base_address_selection_entry = {

base_address : Nat_big_num.num;

}

type location_list_item =

| LLI_lle of location_list_entry
| LLI_base of base_address_selection_entry

type location_list = Nat_big_num.num * location_list_item list

type location_list_list = location_list list

type range_list_entry = {

rle_beginning_address_offset : Nat_big_num.num;
rle_ending_address_offset : Nat_big_num.num;

}

type range_list_item =

| RLI_rle of range_list_entry
| RLI_base of base_address_selection_entry

type range_list = Nat_big_num.num * range_list_item list

type range_list_list = range_list list

type cfa_address = Nat_big_num.num

type cfa_block = Byte_sequence.byte_sequence0

type cfa_delta = Nat_big_num.num

type cfa_offset = Nat_big_num.num

type cfa_register = Nat_big_num.num

type cfa_sfoffset = Nat_big_num.num

type call_frame_argument_type =

| CFAT_address
| CFAT_delta1
| CFAT_delta2
| CFAT_delta4
| CFAT_delta_ULEB128
| CFAT_offset
| CFAT_sfoffset
| CFAT_register
| CFAT_block

type call_frame_argument_value =

| CFAV_address of cfa_address
| CFAV_block of cfa_block
| CFAV_delta of cfa_delta
| CFAV_offset of cfa_offset
| CFAV_register of cfa_register
| CFAV_sfoffset of cfa_sfoffset

type call_frame_instruction =

| DW_CFA_advance_loc of cfa_delta
| DW_CFA_offset of cfa_register * cfa_offset
| DW_CFA_restore of cfa_register
| DW_CFA_nop
| DW_CFA_set_loc of cfa_address
| DW_CFA_advance_loc1 of cfa_delta
| DW_CFA_advance_loc2 of cfa_delta
| DW_CFA_advance_loc4 of cfa_delta
| DW_CFA_offset_extended of cfa_register * cfa_offset
| DW_CFA_restore_extended of cfa_register
| DW_CFA_undefined of cfa_register
| DW_CFA_same_value of cfa_register
| DW_CFA_register of cfa_register * cfa_register
| DW_CFA_remember_state
| DW_CFA_restore_state
| DW_CFA_def_cfa of cfa_register * cfa_offset
| DW_CFA_def_cfa_register of cfa_register
| DW_CFA_def_cfa_offset of cfa_offset
| DW_CFA_def_cfa_expression of cfa_block
| DW_CFA_expression of cfa_register * cfa_block
| DW_CFA_offset_extended_sf of cfa_register * cfa_sfoffset
| DW_CFA_def_cfa_sf of cfa_register * cfa_sfoffset
| DW_CFA_def_cfa_offset_sf of cfa_sfoffset
| DW_CFA_val_offset of cfa_register * cfa_offset
| DW_CFA_val_offset_sf of cfa_register * cfa_sfoffset
| DW_CFA_val_expression of cfa_register * cfa_block
| DW_CFA_unknown of char

type cie = {

cie_offset : Nat_big_num.num;
cie_length : Nat_big_num.num;
cie_id : Nat_big_num.num;
cie_version : Nat_big_num.num;
cie_augmentation : Byte_sequence.byte_sequence0;
cie_address_size : Nat_big_num.num option;
cie_segment_size : Nat_big_num.num option;
cie_code_alignment_factor : Nat_big_num.num;
cie_data_alignment_factor : Nat_big_num.num;
cie_return_address_register : cfa_register;
cie_initial_instructions_bytes : Byte_sequence.byte_sequence0;
cie_initial_instructions : call_frame_instruction list;

}

type fde = {

fde_offset : Nat_big_num.num;
fde_length : Nat_big_num.num;
fde_cie_pointer : Nat_big_num.num;
fde_initial_location_segment_selector : Nat_big_num.num option;
fde_initial_location_address : Nat_big_num.num;
fde_address_range : Nat_big_num.num;
fde_instructions_bytes : Byte_sequence.byte_sequence0;
fde_instructions : call_frame_instruction list;

}

type frame_info_element =

| FIE_cie of cie
| FIE_fde of fde

type frame_info = frame_info_element list

type cfa_rule =

| CR_undefined
| CR_register of cfa_register * Nat_big_num.num
| CR_expression of single_location_description

type register_rule =

| RR_undefined
| RR_same_value
| RR_offset of Nat_big_num.num
| RR_val_offset of Nat_big_num.num
| RR_register of Nat_big_num.num
| RR_expression of single_location_description
| RR_val_expression of single_location_description
| RR_architectural

type register_rule_map = (cfa_register * register_rule) list

type cfa_table_row = {

ctr_loc : Nat_big_num.num;
ctr_cfa : cfa_rule;
ctr_regs : register_rule_map;

}

type cfa_state = {

cs_current_row : cfa_table_row;
cs_previous_rows : cfa_table_row list;
cs_initial_instructions_row : cfa_table_row;
cs_row_stack : cfa_table_row list;

}

type evaluated_frame_info = (fde * cfa_table_row list) list

type line_number_argument_type =

| LNAT_address
| LNAT_ULEB128
| LNAT_SLEB128
| LNAT_uint16
| LNAT_string

type line_number_argument_value =

| LNAV_address of Nat_big_num.num
| LNAV_ULEB128 of Nat_big_num.num
| LNAV_SLEB128 of Nat_big_num.num
| LNAV_uint16 of Nat_big_num.num
| LNAV_string of Byte_sequence.byte_sequence0

type line_number_operation =

| DW_LNS_copy
| DW_LNS_advance_pc of Nat_big_num.num
| DW_LNS_advance_line of Nat_big_num.num
| DW_LNS_set_file of Nat_big_num.num
| DW_LNS_set_column of Nat_big_num.num
| DW_LNS_negate_stmt
| DW_LNS_set_basic_block
| DW_LNS_const_add_pc
| DW_LNS_fixed_advance_pc of Nat_big_num.num
| DW_LNS_set_prologue_end
| DW_LNS_set_epilogue_begin
| DW_LNS_set_isa of Nat_big_num.num
| DW_LNE_end_sequence
| DW_LNE_set_address of Nat_big_num.num
| DW_LNE_define_file of Byte_sequence.byte_sequence0 * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num
| DW_LNE_set_discriminator of Nat_big_num.num
| DW_LN_special of Nat_big_num.num

type line_number_file_entry = {

lnfe_path : Byte_sequence.byte_sequence0;
lnfe_directory_index : Nat_big_num.num;
lnfe_last_modification : Nat_big_num.num;
lnfe_length : Nat_big_num.num;

}

type line_number_header = {

lnh_offset : Nat_big_num.num;
lnh_dwarf_format : dwarf_format;
lnh_unit_length : Nat_big_num.num;
lnh_version : Nat_big_num.num;
lnh_header_length : Nat_big_num.num;
lnh_minimum_instruction_length : Nat_big_num.num;
lnh_maximum_operations_per_instruction : Nat_big_num.num;
lnh_default_is_stmt : bool;
lnh_line_base : Nat_big_num.num;
lnh_line_range : Nat_big_num.num;
lnh_opcode_base : Nat_big_num.num;
lnh_standard_opcode_lengths : Nat_big_num.num list;
lnh_include_directories : Byte_sequence.byte_sequence0 list;
lnh_file_entries : line_number_file_entry list;
lnh_comp_dir : string option;

}

type line_number_program = {

lnp_header : line_number_header;
lnp_operations : line_number_operation list;

}

type line_number_registers = {

lnr_address : Nat_big_num.num;
lnr_op_index : Nat_big_num.num;
lnr_file : Nat_big_num.num;
lnr_line : Nat_big_num.num;
lnr_column : Nat_big_num.num;
lnr_is_stmt : bool;
lnr_basic_block : bool;
lnr_end_sequence : bool;
lnr_prologue_end : bool;
lnr_epilogue_begin : bool;
lnr_isa : Nat_big_num.num;
lnr_discriminator : Nat_big_num.num;

}

type unpacked_file_entry = string option * string option * string

type unpacked_decl = unpacked_file_entry * int * string

type dwarf = {

d_endianness : Endianness.endianness;
d_str : Byte_sequence.byte_sequence0;
d_compilation_units : compilation_units;
d_type_units : type_units;
d_loc : location_list_list;
d_ranges : range_list_list;
d_frame_info : frame_info;
d_line_info : line_number_program list;

}

type analysed_location_data =
  ((compilation_unit * die list * die)
   * (Nat_big_num.num * Nat_big_num.num * single_location_description) list
       option)
    list

type analysed_location_data_at_pc =
  ((compilation_unit * die list * die)
   * (Nat_big_num.num
      * Nat_big_num.num
      * single_location_description
      * single_location Error.error))
    list

type evaluated_line_info =
  (line_number_header * line_number_registers list) list

type dwarf_static = {

ds_dwarf : dwarf;
ds_analysed_location_data : analysed_location_data;
ds_evaluated_frame_info : evaluated_frame_info;
ds_evaluated_line_info : evaluated_line_info;
ds_subprogram_line_extents : (unpacked_file_entry * (string * unpacked_file_entry * Nat_big_num.num) list) list;

}

type dwarf_dynamic_at_pc = analysed_location_data_at_pc

type p_context = {

endianness : Endianness.endianness;

}

type cupdie = compilation_unit * die list * die

type decl = {

decl_file : string option;
decl_line : Nat_big_num.num option;

}

type !'t array_dimension = Nat_big_num.num option * 't

type !'t struct_union_member = cupdie * string option * 't * Nat_big_num.num

type struct_union_type_kind =

| Atk_structure
| Atk_union

type enumeration_member = cupdie * string option * Nat_big_num.num

type !'t c_type_top =

| CT_base of cupdie * string * Nat_big_num.num * Nat_big_num.num option
| CT_pointer of cupdie * 't option
| CT_const of cupdie * 't option
| CT_volatile of cupdie * 't
| CT_restrict of cupdie * 't
| CT_typedef of cupdie * string * 't * decl
| CT_array of cupdie * 't * 't array_dimension list
| CT_struct_union of cupdie * struct_union_type_kind * string option * Nat_big_num.num option * decl * 't struct_union_member list option
| CT_enumeration of cupdie * string option * 't option * Nat_big_num.num option * decl * enumeration_member list option

type c_type =

| CT of c_type c_type_top

type variable_or_formal_parameter_kind =

| SVPK_var
| SVPK_param

type sdt_unspecified_parameter = unit

type sdt_variable_or_formal_parameter = {

svfp_cupdie : cupdie;
svfp_name : string;
svfp_kind : variable_or_formal_parameter_kind;
svfp_type : c_type;
svfp_abstract_origin : sdt_variable_or_formal_parameter option;
svfp_const_value : Nat_big_num.num option;
svfp_external : bool;
svfp_declaration : bool;
svfp_locations : (Nat_big_num.num * Nat_big_num.num * operation list) list option;
svfp_decl : unpacked_decl option;

}

type sdt_subroutine_kind =

| SSK_subprogram
| SSK_inlined_subroutine

type sdt_subroutine = {

ss_cupdie : cupdie;
ss_name : string option;
ss_kind : sdt_subroutine_kind;
ss_call_site : unpacked_decl option;
ss_abstract_origin : sdt_subroutine option;
ss_type : c_type option;
ss_vars : sdt_variable_or_formal_parameter list;
ss_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list option;
ss_entry_address : Nat_big_num.num option;
ss_unspecified_parameters : sdt_unspecified_parameter list;
ss_subroutines : sdt_subroutine list;
ss_lexical_blocks : sdt_lexical_block list;
ss_decl : unpacked_decl option;
ss_noreturn : bool;
ss_external : bool;

}

and sdt_lexical_block = {

slb_cupdie : cupdie;
slb_vars : sdt_variable_or_formal_parameter list;
slb_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list option;
slb_subroutines : sdt_subroutine list;
slb_lexical_blocks : sdt_lexical_block list;

}

type sdt_compilation_unit = {

scu_cupdie : cupdie;
scu_name : string;
scu_subroutines : sdt_subroutine list;
scu_vars : sdt_variable_or_formal_parameter list;

}

type sdt_dwarf = {

sd_compilation_units : sdt_compilation_unit list;

}

type inlined_subroutine_const_param = {

iscp_abstract_origin : compilation_unit * die list * die;
iscp_value : Nat_big_num.num;

}

type inlined_subroutine = {

is_inlined_subroutine : compilation_unit * die list * die;
is_abstract_origin : compilation_unit * die list * die;
is_inlined_subroutine_sdt : sdt_subroutine;
is_inlined_subroutine_sdt_parents : sdt_subroutine list;
is_name : string;
is_call_file : unpacked_file_entry;
is_call_line : Nat_big_num.num;
is_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list;
is_const_params : inlined_subroutine_const_param list;

}

type inlined_subroutine_data = inlined_subroutine list

type inlined_subroutine_data_by_range_entry =
  (Nat_big_num.num * Nat_big_num.num)
  * (Nat_big_num.num * Nat_big_num.num)
  * inlined_subroutine

type inlined_subroutine_data_by_range =
  inlined_subroutine_data_by_range_entry list

val index_natural : 'a list -> Nat_big_num.num -> 'a option

val partialNaturalFromInteger : Nat_big_num.num -> Nat_big_num.num

val p_context_of_d : dwarf -> p_context

val tag_encodings : (string * Nat_big_num.num) list

val vDW_CHILDREN_no : Nat_big_num.num

val vDW_CHILDREN_yes : Nat_big_num.num

val attribute_encodings : 
  (string * Nat_big_num.num * dwarf_attribute_classes list) list

val attribute_form_encodings : 
  (string * Nat_big_num.num * dwarf_attribute_classes list) list

val operation_encodings : 
  (string
   * Nat_big_num.num
   * operation_argument_type list
   * operation_semantics)
    list

val vDW_OP_reg0 : Nat_big_num.num

val vDW_OP_breg0 : Nat_big_num.num

val call_frame_instruction_encoding : 
  (string
   * Nat_big_num.num
   * Nat_big_num.num
   * call_frame_argument_type list
   * (call_frame_argument_value list ->
   call_frame_instruction option))
    list

val line_number_standard_encodings : 
  (string
   * Nat_big_num.num
   * line_number_argument_type list
   * (line_number_argument_value list ->
   line_number_operation option))
    list

val line_number_extended_encodings : 
  (string
   * Nat_big_num.num
   * line_number_argument_type list
   * (line_number_argument_value list ->
   line_number_operation option))
    list

val base_type_attribute_encodings : (string * Nat_big_num.num) list

val myconcat : string -> string list -> string

val myhead : 'a list -> 'a

val myfindNonPure : ('a -> bool) -> 'a list -> 'a

val myfindmaybe : ('a -> 'b option) -> 'a list -> 'b option

val myfind : ('a -> bool) -> 'a list -> 'a option

val myfiltermaybe : ('a -> 'b option) -> 'a list -> 'b list

val bytes_of_natural : 
  Endianness.endianness ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Byte_sequence_wrapper.byte_sequence

val natural_of_bytes_little : 
  Byte_sequence_wrapper.byte_sequence ->
  Nat_big_num.num

val natural_of_bytes_big : 
  Nat_big_num.num ->
  Byte_sequence_wrapper.byte_sequence ->
  Nat_big_num.num

val natural_of_bytes : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  Nat_big_num.num

val bigunionListMap : 
  'b Lem_basic_classes.setType_class ->
  ('a -> 'b Pset.set) ->
  'a list ->
  'b Pset.set

val mytake' : 
  Nat_big_num.num ->
  'a list ->
  'a list ->
  ('a list * 'a list) option

val mytake : Nat_big_num.num -> 'a list -> ('a list * 'a list) option

val mynth : Nat_big_num.num -> 'a list -> 'a option

val pphexplain : Nat_big_num.num -> string

val pphex : Nat_big_num.num -> string

val pphex_integer : Nat_big_num.num -> string

val ppbytes : Byte_sequence_wrapper.byte_sequence -> string

val ppbytes2 : Nat_big_num.num -> Byte_sequence_wrapper.byte_sequence -> string

val ppbytesplain : 
  p_context ->
  Nat_big_num.num ->
  Byte_sequence_wrapper.byte_sequence ->
  string

val string_of_bytes : char list -> string

val just_one : string -> 'a list -> 'a

val max_address : Nat_big_num.num -> Nat_big_num.num

val lookup_Ab_b : 
  'a Lem_basic_classes.eq_class ->
  'a ->
  ('a * 'b) list ->
  'b option

val lookup_aB_a : 
  'b Lem_basic_classes.eq_class ->
  'b ->
  ('a * 'b) list ->
  'a option

val lookup_aBc_a : 
  'b Lem_basic_classes.eq_class ->
  'b ->
  ('a * 'b * 'c) list ->
  'a option

val lookup_aBc_ac : 
  'b Lem_basic_classes.eq_class ->
  'b ->
  ('a * 'b * 'c) list ->
  ('a * 'c) option

val lookup_Abc_b : 
  'a Lem_basic_classes.eq_class ->
  'a ->
  ('a * 'b * 'c) list ->
  'b option

val lookup_aBcd_a : 
  'b Lem_basic_classes.eq_class ->
  'b ->
  ('a * 'b * 'c * 'd) list ->
  'a option

val lookup_aBcd_acd : 
  'b Lem_basic_classes.eq_class ->
  'b ->
  ('a * 'b * 'c * 'd) list ->
  ('a * 'c * 'd) option

val lookup_abCde_de : 
  'a Lem_basic_classes.eq_class ->
  'a ->
  ('b * 'c * 'a * 'd * 'e) list ->
  ('d * 'e) option

val pp_maybe : (Nat_big_num.num -> string option) -> Nat_big_num.num -> string

val pp_tag_encoding : Nat_big_num.num -> string

val pp_attribute_encoding : Nat_big_num.num -> string

val pp_attribute_form_encoding : Nat_big_num.num -> string

val pp_operation_encoding : Nat_big_num.num -> string

val tag_encode : string -> Nat_big_num.num

val attribute_encode : string -> Nat_big_num.num

val attribute_form_encode : string -> Nat_big_num.num

val base_type_attribute_encode : string -> Nat_big_num.num

type parse_context = {

pc_bytes : Byte_sequence.byte_sequence0;
pc_offset : Nat_big_num.num;

}

type !'a parse_result =

| PR_success of 'a * parse_context
| PR_fail of string * parse_context

type !'a parser = parse_context -> 'a parse_result

val pp_parse_context : parse_context -> string

val pp_parse_fail : string -> parse_context -> string

val pp_parse_result : ('a -> string) -> 'a parse_result -> string

val pr_bind : 
  'a parse_result ->
  ('a -> parse_context -> 'b parse_result) ->
  'b parse_result

val pr_return : 'a -> parse_context -> 'a parse_result

val pr_map : ('a -> 'b) -> 'a parse_result -> 'b parse_result

val pr_map2 : 
  ('a -> 'b) ->
  (parse_context -> 'a parse_result) ->
  parse_context ->
  'b parse_result

val pr_post_map1 : 'a parse_result -> ('a -> 'b) -> 'b parse_result

val pr_post_map : 
  (parse_context -> 'a parse_result) ->
  ('a -> 'b) ->
  parse_context ->
  'b parse_result

val pr_with_pos : 
  (parse_context -> 'a parse_result) ->
  parse_context ->
  (Nat_big_num.num * 'a) parse_result

val parse_pair : 
  (parse_context -> 'a parse_result) ->
  (parse_context -> 'b parse_result) ->
  parse_context ->
  ('a * 'b) parse_result

val parse_triple : 
  (parse_context -> 'a parse_result) ->
  (parse_context -> 'b parse_result) ->
  (parse_context -> 'c parse_result) ->
  parse_context ->
  ('a * ('b * 'c)) parse_result

val parse_quadruple : 
  (parse_context -> 'a parse_result) ->
  (parse_context -> 'b parse_result) ->
  (parse_context -> 'c parse_result) ->
  (parse_context -> 'd parse_result) ->
  parse_context ->
  ('a * ('b * ('c * 'd))) parse_result

val parse_pentuple : 
  (parse_context -> 'a parse_result) ->
  (parse_context -> 'b parse_result) ->
  (parse_context -> 'c parse_result) ->
  (parse_context -> 'd parse_result) ->
  (parse_context -> 'e parse_result) ->
  parse_context ->
  ('a * ('b * ('c * ('d * 'e)))) parse_result

val parse_sextuple : 
  (parse_context -> 'a parse_result) ->
  (parse_context -> 'b parse_result) ->
  (parse_context -> 'c parse_result) ->
  (parse_context -> 'd parse_result) ->
  (parse_context -> 'e parse_result) ->
  (parse_context -> 'f parse_result) ->
  parse_context ->
  ('a * ('b * ('c * ('d * ('e * 'f))))) parse_result

val parse_dependent_pair : 
  (parse_context -> 'a parse_result) ->
  ('a -> parse_context -> 'b parse_result) ->
  parse_context ->
  ('a * 'b) parse_result

val parse_dependent : 
  (parse_context -> 'a parse_result) ->
  ('a -> parse_context -> 'b parse_result) ->
  parse_context ->
  'b parse_result

val parse_list' : 
  (parse_context -> 'a option parse_result) ->
  'a list ->
  parse_context ->
  'a list parse_result

val parse_list : 
  (parse_context -> 'a option parse_result) ->
  parse_context ->
  'a list parse_result

val parse_parser_list : 
  (parse_context -> 'a parse_result) list ->
  parse_context ->
  'a list parse_result

val parse_maybe : 
  (parse_context -> 'a parse_result) ->
  parse_context ->
  'a option parse_result

val parse_demaybe : 
  string ->
  (parse_context -> 'a option parse_result) ->
  parse_context ->
  'a parse_result

val parse_restrict_length : 
  Nat_big_num.num ->
  (parse_context -> 'a parse_result) ->
  parse_context ->
  'a parse_result

val parse_byte : char parser

val parse_n_bytes : Nat_big_num.num -> Byte_sequence.byte_sequence0 parser

val bzero : char

val parse_string : Byte_sequence.byte_sequence0 parser

val parse_non_empty_string : Byte_sequence.byte_sequence0 option parser

val parse_uint8 : Nat_big_num.num parser

val parse_uint8_constant : Nat_big_num.num -> Nat_big_num.num parser

val parse_uint16 : p_context -> Nat_big_num.num parser

val parse_uint32 : p_context -> Nat_big_num.num parser

val parse_uint64 : p_context -> Nat_big_num.num parser

val integerFromTwosComplementNatural : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num

val partialTwosComplementNaturalFromInteger : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num

val parse_sint8 : Nat_big_num.num parser

val parse_sint16 : p_context -> Nat_big_num.num parser

val parse_sint32 : p_context -> Nat_big_num.num parser

val parse_sint64 : p_context -> Nat_big_num.num parser

val parse_ULEB128' : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num parser

val parse_ULEB128 : Nat_big_num.num parser

val parse_SLEB128' : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  (bool * Nat_big_num.num * Nat_big_num.num) parser

val parse_SLEB128 : Nat_big_num.num parser

val parse_nonzero_ULEB128_pair : 
  (Nat_big_num.num * Nat_big_num.num) option parser

val parse_zero_terminated_ULEB128_pair_list : 
  (Nat_big_num.num * Nat_big_num.num) list parser

val parse_uintDwarfN : p_context -> dwarf_format -> Nat_big_num.num parser

val parse_uint_address_size : 
  p_context ->
  Nat_big_num.num ->
  Nat_big_num.num parser

val parse_uint_segment_selector_size : 
  p_context ->
  Nat_big_num.num ->
  Nat_big_num.num option parser

val pp_abbreviation_declaration : abbreviation_declaration -> string

val pp_abbreviations_table : abbreviations_table -> string

val remove_duplicates : 
  'a Lem_basic_classes.eq_class ->
  ('a * 'b) list ->
  ('a * 'b) list ->
  ('a * 'b) list

val pp_abbreviations_tables : dwarf -> string

val parse_abbreviation_declaration : 
  'a ->
  abbreviation_declaration option parser

val parse_abbreviations_table : 
  'a ->
  parse_context ->
  abbreviation_declaration list parse_result

val null_terminated_bs : 
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0

val pp_debug_str_entry : 
  Byte_sequence.byte_sequence0 ->
  Nat_big_num.num ->
  string

val pp_operation_argument_value : operation_argument_value -> string

val pp_operation_semantics : operation_semantics -> string

val pp_operation_semantics_brief : operation_semantics -> string

val pp_operation : operation -> string

val pp_operations : operation list -> string

val parser_of_operation_argument_type : 
  p_context ->
  compilation_unit_header ->
  operation_argument_type ->
  parse_context ->
  operation_argument_value parse_result

val parse_operation : 
  p_context ->
  compilation_unit_header ->
  parse_context ->
  operation option parse_result

val parse_operations : 
  p_context ->
  compilation_unit_header ->
  parse_context ->
  operation list parse_result

val parse_operations_bs : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  operation list

val parse_and_pp_operations : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  string

val pp_attribute_value : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  Nat_big_num.num ->
  attribute_value ->
  string

val pp_attribute_value_like_objdump : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  Nat_big_num.num ->
  attribute_value ->
  string

val parser_of_attribute_form_non_indirect : 
  p_context ->
  compilation_unit_header ->
  Nat_big_num.num ->
  parse_context ->
  attribute_value parse_result

val parser_of_attribute_form : 
  p_context ->
  compilation_unit_header ->
  Nat_big_num.num ->
  parse_context ->
  attribute_value parse_result

val pp_pos : Nat_big_num.num -> string

val find_maybe : ('a -> 'b option) -> 'a list -> 'b option

val find_die_by_offset_in_cu : 
  Nat_big_num.num ->
  compilation_unit ->
  cupdie option

val find_die_by_offset_in_all : Nat_big_num.num -> dwarf -> cupdie option

val find_dies_in_die : 
  (die -> bool) ->
  compilation_unit ->
  die list ->
  die ->
  (compilation_unit * die list * die) list

val find_dies : (die -> bool) -> dwarf -> cupdie list

val string_of_string_attribute_value : 
  Byte_sequence.byte_sequence0 ->
  attribute_value ->
  string

val natural_of_constant_attribute_value : 
  p_context ->
  attribute_value ->
  Nat_big_num.num

val integer_of_constant_attribute_value : 
  p_context ->
  attribute_value ->
  Nat_big_num.num

val bool_of_flag_attribute_value : attribute_value -> bool

val reference_of_reference_attribute_value : 
  'a ->
  dwarf ->
  compilation_unit ->
  'b ->
  attribute_value ->
  (compilation_unit * die list * die) option

val find_attribute_value : string -> die -> attribute_value option

val find_string_attribute_value_of_die : 
  string ->
  Byte_sequence.byte_sequence0 ->
  die ->
  string option

val find_natural_attribute_value_of_die : 
  p_context ->
  string ->
  die ->
  Nat_big_num.num option

val find_integer_attribute_value_of_die : 
  p_context ->
  string ->
  die ->
  Nat_big_num.num option

val find_flag_attribute_value_of_die : string -> die -> bool option

val find_name_of_die : Byte_sequence.byte_sequence0 -> die -> string option

val find_reference_attribute_of_die : 
  'a ->
  dwarf ->
  compilation_unit ->
  'b ->
  string ->
  die ->
  (compilation_unit * die list * die) option

val find_DW_AT_type_of_die : 
  'a ->
  dwarf ->
  compilation_unit ->
  'b ->
  die ->
  (compilation_unit * die list * die) option

val find_attribute_value_using_abstract_origin : 
  'a ->
  dwarf ->
  compilation_unit ->
  'b ->
  string ->
  die ->
  (compilation_unit * attribute_value) option

val find_name_of_die_using_abstract_origin : 
  'a ->
  dwarf ->
  compilation_unit ->
  Byte_sequence.byte_sequence0 ->
  die ->
  string option

val find_reference_attribute_using_abstract_origin : 
  'a ->
  dwarf ->
  compilation_unit ->
  'b ->
  string ->
  die ->
  (compilation_unit * die list * die) option

val find_DW_AT_type_of_die_using_abstract_origin : 
  'a ->
  dwarf ->
  compilation_unit ->
  'b ->
  die ->
  (compilation_unit * die list * die) option

val find_flag_attribute_value_of_die_using_abstract_origin : 
  dwarf ->
  string ->
  cupdie ->
  bool option

val pp_dwarf_format : dwarf_format -> string

val pp_unit_header : string -> compilation_unit_header -> string

val pp_compilation_unit_header : compilation_unit_header -> string

val parse_unit_length : p_context -> (dwarf_format * Nat_big_num.num) parser

val parse_compilation_unit_header : p_context -> compilation_unit_header parser

val pp_type_unit_header : type_unit_header -> string

val parse_type_unit_header : p_context -> type_unit_header parser

val indent_level : bool -> Nat_big_num.num -> string

val indent_level_plus_one : bool -> Nat_big_num.num -> string

val pp_die_attribute : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  bool ->
  Nat_big_num.num ->
  ((Nat_big_num.num * Nat_big_num.num) * (Nat_big_num.num * attribute_value)) ->
  string

val pp_die : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  bool ->
  Nat_big_num.num ->
  bool ->
  die ->
  string

val pp_die_abbrev : 
  'a ->
  'b ->
  Byte_sequence.byte_sequence0 ->
  Nat_big_num.num ->
  bool ->
  die list ->
  die ->
  string

val pp_die_abbrev_var : 
  'a ->
  dwarf ->
  compilation_unit ->
  Byte_sequence.byte_sequence0 ->
  bool ->
  'b ->
  die ->
  string * string * string

val pp_die_abbrev_var_parent : 
  'a ->
  dwarf ->
  compilation_unit ->
  Byte_sequence.byte_sequence0 ->
  die ->
  string

val pp_die_abbrev_var_parents : 
  'a ->
  dwarf ->
  compilation_unit ->
  Byte_sequence.byte_sequence0 ->
  die list ->
  string

val parse_die : 
  p_context ->
  'a ->
  compilation_unit_header ->
  (Nat_big_num.num -> abbreviation_declaration) ->
  parse_context ->
  die option parse_result

val has_attribute : string -> die -> bool

val pp_compilation_unit : 
  p_context ->
  bool ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit ->
  string

val pp_compilation_units : 
  p_context ->
  bool ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit list ->
  string

val pp_compilation_unit_abbrev : 
  'a ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit ->
  string

val pp_compilation_units_abbrev : 
  'a ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit list ->
  string

val add_die_to_index : die_index -> die list -> die -> die_index

val parse_compilation_unit : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit option parser

val parse_compilation_units : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit list parser

val pp_type_unit : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  type_unit ->
  string

val pp_type_units : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  type_unit list ->
  string

val parse_type_unit : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  type_unit option parser

val parse_type_units : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  type_unit list parser

val pp_location_list_entry : 
  p_context ->
  compilation_unit_header ->
  Nat_big_num.num ->
  location_list_entry ->
  string

val pp_base_address_selection_entry : 
  'a ->
  compilation_unit_header ->
  Nat_big_num.num ->
  base_address_selection_entry ->
  string

val pp_location_list_item : 
  p_context ->
  compilation_unit_header ->
  Nat_big_num.num ->
  location_list_item ->
  string

val pp_location_list : 
  p_context ->
  compilation_unit_header ->
  (Nat_big_num.num * location_list_item list) ->
  string

val pp_loc : 
  p_context ->
  compilation_unit_header ->
  location_list list ->
  string

val parse_location_list_item : 
  p_context ->
  compilation_unit_header ->
  location_list_item option parser

val parse_location_list : 
  p_context ->
  compilation_unit_header ->
  location_list option parser

val parse_location_list_list : 
  p_context ->
  compilation_unit_header ->
  location_list_list parser

val find_location_list : location_list list -> Nat_big_num.num -> location_list

val interpret_location_list : 
  Nat_big_num.num ->
  location_list_item list ->
  (Nat_big_num.num * Nat_big_num.num * single_location_description) list

val pp_range_list_entry : 
  'a ->
  compilation_unit_header ->
  Nat_big_num.num ->
  range_list_entry ->
  string

val pp_range_list_item : 
  'a ->
  compilation_unit_header ->
  Nat_big_num.num ->
  range_list_item ->
  string

val pp_range_list : 
  'a ->
  compilation_unit_header ->
  (Nat_big_num.num * range_list_item list) ->
  string

val pp_ranges : 'a -> compilation_unit_header -> range_list list -> string

val parse_range_list_item : 
  p_context ->
  compilation_unit_header ->
  range_list_item option parser

val parse_range_list : 
  p_context ->
  compilation_unit_header ->
  range_list option parser

val parse_range_list_list : 
  p_context ->
  compilation_unit_header ->
  range_list_list parser

val find_range_list : range_list list -> Nat_big_num.num -> range_list

val interpret_range_list : 
  Nat_big_num.num ->
  range_list_item list ->
  (Nat_big_num.num * Nat_big_num.num) list

val pp_cfa_address : Nat_big_num.num -> string

val pp_cfa_block : Byte_sequence_wrapper.byte_sequence -> string

val pp_cfa_delta : Nat_big_num.num -> string

val pp_cfa_sfoffset : 'a Show.show_class -> 'a -> string

val pp_cfa_register : 'a Show.show_class -> 'a -> string

val pp_cfa_offset : Nat_big_num.num -> string

val pp_cfa_rule : cfa_rule -> string

val pp_register_rule : register_rule -> string

val pp_call_frame_instruction : call_frame_instruction -> string

val pp_call_frame_instructions : call_frame_instruction list -> string

val parser_of_call_frame_argument_type : 
  p_context ->
  compilation_unit_header ->
  call_frame_argument_type ->
  call_frame_argument_value parser

val parse_call_frame_instruction : 
  p_context ->
  compilation_unit_header ->
  call_frame_instruction option parser

val parse_call_frame_instructions : 
  p_context ->
  compilation_unit_header ->
  call_frame_instruction list parser

val parse_and_pp_call_frame_instructions : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  string

val pp_call_frame_instructions' : 
  p_context ->
  compilation_unit_header ->
  Byte_sequence.byte_sequence0 ->
  string

val pp_cie : 'a -> 'b -> cie -> string

val pp_fde : 'a -> 'b -> fde -> string

val pp_frame_info_element : 'a -> 'b -> frame_info_element -> string

val pp_frame_info : 'a -> 'b -> frame_info_element list -> string

val find_cie : frame_info_element list -> Nat_big_num.num -> cie

val parse_initial_location : 
  p_context ->
  compilation_unit_header ->
  Nat_big_num.num option ->
  Nat_big_num.num option ->
  (Nat_big_num.num option * Nat_big_num.num) parser

val parse_call_frame_instruction_bytes : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  parse_context ->
  Byte_sequence_wrapper.byte_sequence parse_result

val parse_frame_info_element : 
  p_context ->
  compilation_unit_header ->
  frame_info_element list ->
  frame_info_element parser

val parse_dependent_list' : 
  ('a list -> parse_context -> 'a parse_result) ->
  'a list ->
  parse_context ->
  'a list parse_result

val parse_dependent_list : 
  ('a list -> parse_context -> 'a parse_result) ->
  parse_context ->
  'a list parse_result

val parse_frame_info : 
  p_context ->
  compilation_unit_header ->
  frame_info parser

val pp_line_number_file_entry : line_number_file_entry -> string

val pp_line_number_header : line_number_header -> string

val pp_line_number_operation : line_number_operation -> string

val pp_line_number_program : line_number_program -> string

val parse_line_number_file_entry : line_number_file_entry option parser

val parse_line_number_header : 
  p_context ->
  string option ->
  line_number_header parser

val parser_of_line_number_argument_type : 
  p_context ->
  compilation_unit_header ->
  line_number_argument_type ->
  line_number_argument_value parser

val parse_line_number_operation : 
  p_context ->
  compilation_unit_header ->
  line_number_header ->
  line_number_operation parser

val parse_line_number_operations : 
  p_context ->
  compilation_unit_header ->
  line_number_header ->
  line_number_operation list parser

val parse_line_number_program : 
  p_context ->
  compilation_unit_header ->
  string option ->
  line_number_program parser

val line_number_offset_of_compilation_unit : 
  p_context ->
  compilation_unit ->
  Nat_big_num.num

val line_number_program_of_compilation_unit : 
  dwarf ->
  compilation_unit ->
  line_number_program

val filename : dwarf -> compilation_unit -> Nat_big_num.num -> string option

val unpack_file_entry : 
  line_number_header ->
  Nat_big_num.num ->
  unpacked_file_entry

val pp_ufe : unpacked_file_entry -> string

val pp_ud : unpacked_decl -> string

val pp_ufe_brief : unpacked_file_entry -> string

val parse_line_number_info : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit ->
  line_number_program

val parse_line_number_infos : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  compilation_unit list ->
  line_number_program list

val pp_line_info : line_number_program list -> string

val pp_dwarf_like_objdump : dwarf -> string

val pp_dwarf : dwarf -> string

val parse_dwarf : 
  p_context ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  Byte_sequence.byte_sequence0 ->
  dwarf

val extract_section_body : 
  Elf_file.elf_file ->
  string ->
  bool ->
  p_context * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence

val extract_dwarf : Elf_file.elf_file -> dwarf option

val extract_text : 
  Elf_file.elf_file ->
  p_context * Nat_big_num.num * Byte_sequence.byte_sequence0

val pp_simple_location : simple_location -> string

val pp_composite_location_piece : composite_location_piece -> string

val pp_single_location : single_location -> string

val initial_state : state

val arithmetic_context_of_cuh : compilation_unit_header -> arithmetic_context

val find_cfa_table_row_for_pc : 
  evaluated_frame_info ->
  Nat_big_num.num ->
  cfa_table_row

val evaluate_operation_list : 
  p_context ->
  location_list_list ->
  evaluated_frame_info ->
  compilation_unit_header ->
  arithmetic_context ->
  evaluation_context ->
  attribute_value option ->
  Nat_big_num.num ->
  state ->
  operation list ->
  single_location Error.error

val evaluate_location_description_bytes : 
  p_context ->
  location_list_list ->
  evaluated_frame_info ->
  compilation_unit_header ->
  arithmetic_context ->
  evaluation_context ->
  attribute_value option ->
  Nat_big_num.num ->
  Byte_sequence.byte_sequence0 ->
  single_location Error.error

val evaluate_location_description : 
  p_context ->
  location_list_list ->
  evaluated_frame_info ->
  compilation_unit_header ->
  arithmetic_context ->
  evaluation_context ->
  attribute_value option ->
  Nat_big_num.num ->
  attribute_value ->
  single_location Error.error

val rrp_update : 
  (Nat_big_num.num * register_rule) list ->
  Nat_big_num.num ->
  register_rule ->
  (Nat_big_num.num * register_rule) list

val rrp_lookup : 
  Nat_big_num.num ->
  (Nat_big_num.num * register_rule) list ->
  register_rule

val rrp_empty : (cfa_register * register_rule) list

val register_footprint_rrp : register_rule_map -> cfa_register Pset.set

val register_footprint : cfa_table_row list -> cfa_register list

val max_lengths : string list list -> Nat_big_num.num list

val pad_row : string list -> Nat_big_num.num list -> string list

val pad_rows : string list list -> string

val pp_evaluated_fde : ('a * cfa_table_row list) -> string

val semi_pp_evaluated_fde : 
  ('a * cfa_table_row list) ->
  (Nat_big_num.num * string * (string * string) list) list

val semi_pp_evaluated_frame_info : 
  ('a * cfa_table_row list) list ->
  (Nat_big_num.num * string * (string * string) list) list

val evaluate_call_frame_instruction : 
  frame_info ->
  cie ->
  cfa_state ->
  call_frame_instruction ->
  cfa_state

val evaluate_call_frame_instructions : 
  frame_info ->
  cie ->
  cfa_state ->
  call_frame_instruction list ->
  cfa_state

val evaluate_fde : frame_info -> fde -> cfa_table_row list

val evaluate_frame_info : dwarf -> evaluated_frame_info

val pp_evaluated_frame_info : evaluated_frame_info -> string

val strict : (unit -> string) -> 'a option -> 'a

val analyse_type_info_top : 
  p_context ->
  dwarf ->
  bool ->
  cupdie ->
  cupdie c_type_top

val analyse_type_info_deep : dwarf -> bool -> cupdie -> c_type

val find_DW_AT_type_of_die_deep : 
  dwarf ->
  (compilation_unit * 'a * die) ->
  c_type option

val find_DW_AT_type_of_die_deep_using_abstract_origin : 
  dwarf ->
  (compilation_unit * 'a * die) ->
  c_type option

val pp_struct_union_type_kind : struct_union_type_kind -> string

val pp_cupdie : (compilation_unit * 'a * die) -> string

val pp_cupdie3 : (compilation_unit * die list * die) -> string

val pp_mbyte_size : 'a Show.show_class -> 'a option -> string

val pp_type_info_top : ('a -> string) -> 'a c_type_top -> string

val pp_type_info_deep : c_type -> string

val pp_type_info_die : p_context -> dwarf -> cupdie -> string

val pp_struct_union_type_member : 
  p_context ->
  dwarf ->
  cupdie struct_union_member ->
  string list

val pp_struct_union_type_defn : p_context -> dwarf -> cupdie -> string

val pp_struct_union_type_member' : c_type struct_union_member -> string list

val pp_enum_type_member' : enumeration_member -> string list

val pp_struct_union_type_defn' : c_type -> string

val pp_type_info_die_DW_AT_type : 
  p_context ->
  dwarf ->
  compilation_unit ->
  'a ->
  die ->
  string

val struct_union_enum_types : dwarf -> c_type list

val pp_all_struct_union_enum_types' : dwarf -> string

val analyse_locations_raw : p_context -> dwarf -> string

val cu_base_address : compilation_unit -> Nat_big_num.num

val range_of_die : 
  p_context ->
  range_list_list ->
  Nat_big_num.num ->
  die ->
  (Nat_big_num.num * Nat_big_num.num) list option

val range_of_die_d : 
  dwarf ->
  compilation_unit ->
  die ->
  (Nat_big_num.num * Nat_big_num.num) list option

val entry_address : die -> Nat_big_num.num option

val closest_enclosing_range : 
  p_context ->
  range_list_list ->
  Nat_big_num.num ->
  die list ->
  (Nat_big_num.num * Nat_big_num.num) list option

val closest_enclosing_frame_base : 
  'a ->
  Nat_big_num.num ->
  die list ->
  attribute_value option

val interpreted_location_of_die : 
  p_context ->
  compilation_unit_header ->
  location_list_list ->
  range_list_list ->
  Nat_big_num.num ->
  die list ->
  die ->
  (Nat_big_num.num * Nat_big_num.num * single_location_description) list option

val analyse_locations : dwarf -> analysed_location_data

val pp_analysed_locations1 : 
  p_context ->
  compilation_unit_header ->
  (Nat_big_num.num * Nat_big_num.num * single_location_description) list ->
  string

val pp_analysed_locations2 : 
  p_context ->
  compilation_unit_header ->
  (Nat_big_num.num * Nat_big_num.num * single_location_description) list option ->
  string

val pp_analysed_locations3 : 
  p_context ->
  dwarf ->
  Byte_sequence.byte_sequence0 ->
  bool ->
  analysed_location_data ->
  (bool
   * (string * string * string)
   * (unit ->
   string)
   * string
   * (unit ->
   string))
    list

val pp_analysed_locations3_diff : 
  p_context ->
  dwarf ->
  Byte_sequence.byte_sequence0 ->
  analysed_location_data ->
  analysed_location_data ->
  (bool
   * (string * string * string)
   * (unit ->
   string)
   * string
   * (unit ->
   string))
    list

val pp_analysed_location_format : 
  (bool
   * (string * string * string)
   * (unit ->
   string)
   * string
   * (unit ->
   string))
    list ->
  string

val pp_analysed_location_data : dwarf -> analysed_location_data -> string

val pp_analysed_location_data_diff : 
  dwarf ->
  analysed_location_data ->
  analysed_location_data ->
  string

val pp_analysed_location_data_at_pc : 
  dwarf ->
  analysed_location_data_at_pc ->
  string

val analysed_locations_at_pc : 
  evaluation_context ->
  dwarf_static ->
  Nat_big_num.num ->
  analysed_location_data_at_pc

val names_of_address : 
  dwarf ->
  analysed_location_data_at_pc ->
  Nat_big_num.num ->
  string list

val filtered_analysed_location_data : 
  dwarf_static ->
  Nat_big_num.num ->
  ((compilation_unit * die list * die)
   * (Nat_big_num.num * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence)
       list
       option)
    list

val subprogram_line_extents_compilation_unit : 
  dwarf ->
  compilation_unit ->
  (string * unpacked_file_entry * Nat_big_num.num) list

val extract : 
  'b Lem_basic_classes.eq_class ->
  'b ->
  ('b * 'c) list ->
  'c option * ('b * 'c) list

val partitionby : 
  'a Lem_basic_classes.eq_class ->
  'b Lem_basic_classes.eq_class ->
  ('a -> 'b) ->
  ('a -> 'a -> bool) ->
  'a list ->
  ('b * 'a list) list ->
  ('b * 'a list) list

val subprogram_line_extents : 
  dwarf ->
  (unpacked_file_entry * (string * unpacked_file_entry * Nat_big_num.num) list)
    list

val pp_subprograms : 
  'a Show.show_class ->
  (unpacked_file_entry * (string * 'b * 'a) list) list ->
  string

val find_by_line : 
  'b Lem_basic_classes.ord_class ->
  'b ->
  ('a * 'c * 'b) list ->
  'b ->
  'a ->
  'a

val subprogram_at_line : 
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  unpacked_file_entry ->
  Nat_big_num.num ->
  string

val initial_line_number_registers : line_number_header -> line_number_registers

val evaluate_line_number_operation : 
  line_number_header ->
  (line_number_registers * line_number_registers list) ->
  line_number_operation ->
  line_number_registers * line_number_registers list

val evaluate_line_number_operations : 
  line_number_header ->
  (line_number_registers * line_number_registers list) ->
  line_number_operation list ->
  line_number_registers * line_number_registers list

val evaluate_line_number_program : 
  line_number_program ->
  line_number_registers list

val pp_line_number_registers : line_number_registers -> string

val pp_line_number_registers_tight : line_number_registers -> string list

val pp_line_number_registerss : line_number_registers list -> string

val pp_evaluated_line_info : evaluated_line_info -> string

val source_lines_of_address : 
  dwarf_static ->
  Nat_big_num.num ->
  (unpacked_file_entry * Nat_big_num.num * line_number_registers * string) list

val extract_dwarf_static : Elf_file.elf_file -> dwarf_static option

val decl_of_die : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  compilation_unit ->
  die ->
  (unpacked_file_entry * int * string) option

val call_site_of_die : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  compilation_unit ->
  die ->
  (unpacked_file_entry * int * string) option

val mk_sdt_unspecified_parameter : 
  dwarf ->
  'a ->
  'b ->
  'c ->
  die ->
  sdt_unspecified_parameter option

val strict_msvfp : 'a option -> string -> ('b -> string) -> 'b -> 'a

val mk_sdt_variable_or_formal_parameter : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  compilation_unit ->
  die list ->
  die ->
  sdt_variable_or_formal_parameter option

val strict_mss : 'a option -> string -> ('b -> string) -> 'b -> 'a

val mk_sdt_subroutine : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  compilation_unit ->
  die list ->
  die ->
  sdt_subroutine option

val mk_sdt_lexical_block : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  compilation_unit ->
  die list ->
  die ->
  sdt_lexical_block option

val strict_mscu : 'a option -> string -> ('b -> string) -> 'b -> 'a

val mk_sdt_compilation_unit : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  compilation_unit ->
  sdt_compilation_unit

val mk_sdt_dwarf : 
  dwarf ->
  ((string option * string option * string)
   * (string * 'a * Nat_big_num.num) list)
    list ->
  sdt_dwarf

val pp_sdt_unspecified_parameter : 
  Nat_big_num.num ->
  sdt_unspecified_parameter ->
  string

val pp_parsed_single_location_description : 
  Nat_big_num.num ->
  (Nat_big_num.num * Nat_big_num.num * operation list) ->
  string

val pp_pc_ranges : 
  Nat_big_num.num ->
  (Nat_big_num.num * Nat_big_num.num) list option ->
  string

val pp_sdt_maybe : 'a option -> ('a -> string) -> string

val pp_sdt_list : 'a list -> ('a -> string) -> string

val pp_sdt_variable_or_formal_parameter : 
  Nat_big_num.num ->
  sdt_variable_or_formal_parameter ->
  string

val pp_sdt_subroutine : Nat_big_num.num -> sdt_subroutine -> string

val pp_sdt_lexical_block : Nat_big_num.num -> sdt_lexical_block -> string

val pp_sdt_compilation_unit : Nat_big_num.num -> sdt_compilation_unit -> string

val pp_sdt_dwarf : sdt_dwarf -> string

val pp_sdt_concise_variable_or_formal_parameter : 
  Nat_big_num.num ->
  sdt_variable_or_formal_parameter ->
  string

val pp_sdt_globals_compilation_unit : 
  Nat_big_num.num ->
  sdt_compilation_unit ->
  string

val pp_sdt_globals_dwarf : sdt_dwarf -> string

val pp_sdt_locals_subroutine : Nat_big_num.num -> sdt_subroutine -> string

val pp_sdt_locals_lexical_block : 
  Nat_big_num.num ->
  sdt_lexical_block ->
  string

val pp_sdt_locals_compilation_unit : 
  Nat_big_num.num ->
  sdt_compilation_unit ->
  string

val pp_sdt_locals_dwarf : sdt_dwarf -> string

val analyse_inlined_subroutines_sdt_const_param : 
  sdt_variable_or_formal_parameter ->
  inlined_subroutine_const_param option

val analyse_inlined_subroutines_sdt_subroutine : 
  sdt_subroutine list ->
  sdt_subroutine ->
  inlined_subroutine list

val analyse_inlined_subroutines_sdt_lexical_block : 
  sdt_subroutine list ->
  sdt_lexical_block ->
  inlined_subroutine list

val analyse_inlined_subroutines_sdt_compilation_unit : 
  sdt_compilation_unit ->
  inlined_subroutine list

val analyse_inlined_subroutines_sdt_dwarf : 
  sdt_dwarf ->
  inlined_subroutine list

val analyse_inlined_subroutine_by_range : 
  inlined_subroutine ->
  inlined_subroutine_data_by_range

val is_lt : 
  'a Lem_basic_classes.eq_class ->
  'b Lem_basic_classes.ord_class ->
  'a Lem_basic_classes.ord_class ->
  (('a * 'b) * ('c * 'd) * 'e) ->
  (('a * 'b) * ('f * 'g) * 'h) ->
  bool

val analyse_inlined_subroutines_by_range : 
  inlined_subroutine_data ->
  inlined_subroutine_data_by_range

val pp_inlined_subroutine_parents : die list -> string

val pp_inlined_subroutine_header : dwarf_static -> inlined_subroutine -> string

val pp_inlined_subroutine_const_params : dwarf -> inlined_subroutine -> string

val pp_inlined_subroutine : dwarf_static -> inlined_subroutine -> string

val pp_inlined_subroutines : dwarf_static -> inlined_subroutine list -> string

val pp_inlined_subroutine_by_range : 
  dwarf_static ->
  ((Nat_big_num.num * Nat_big_num.num)
   * (Nat_big_num.num * Nat_big_num.num)
   * inlined_subroutine) ->
  string

val pp_inlined_subroutines_by_range : 
  dwarf_static ->
  ((Nat_big_num.num * Nat_big_num.num)
   * (Nat_big_num.num * Nat_big_num.num)
   * inlined_subroutine)
    list ->
  string

val words_of_byte_sequence : 
  Nat_big_num.num ->
  Byte_sequence.byte_sequence0 ->
  (Nat_big_num.num * Nat_big_num.num) list ->
  (Nat_big_num.num * Nat_big_num.num) list

val pp_instruction : (Nat_big_num.num * Nat_big_num.num) -> string

val pp_text_section : Elf_file.elf_file -> string

val harness_string_of_elf_like_objdump : Elf_file.elf_file -> 'a -> string

val harness_string_of_elf : Elf_file.elf_file -> 'a -> string

val harness_string_of_elf64_debug_info_section : 
  Elf_file.elf64_file ->
  'a ->
  string

val harness_string_of_elf32_debug_info_section : 
  Elf_file.elf32_file ->
  'a ->
  string

val harness_string_of_elf64_like_objdump : Elf_file.elf64_file -> 'a -> string

val harness_string_of_elf32_like_objdump : Elf_file.elf32_file -> 'a -> string