package linksem

  1. Overview
  2. Docs
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 =
  1. | DWA_7_5_3
  2. | DWA_address
  3. | DWA_block
  4. | DWA_constant
  5. | DWA_dash
  6. | DWA_exprloc
  7. | DWA_flag
  8. | DWA_lineptr
  9. | DWA_loclistptr
  10. | DWA_macptr
  11. | DWA_rangelistptr
  12. | DWA_reference
  13. | DWA_string
type operation_argument_type =
  1. | OAT_addr
  2. | OAT_dwarf_format_t
  3. | OAT_uint8
  4. | OAT_uint16
  5. | OAT_uint32
  6. | OAT_uint64
  7. | OAT_sint8
  8. | OAT_sint16
  9. | OAT_sint32
  10. | OAT_sint64
  11. | OAT_ULEB128
  12. | OAT_SLEB128
  13. | OAT_block
type operation_argument_value =
  1. | OAV_natural of Nat_big_num.num
  2. | OAV_integer of Nat_big_num.num
  3. | OAV_block of Nat_big_num.num * Byte_sequence.byte_sequence0
type operation_stack = Nat_big_num.num list
type arithmetic_context = {
  1. ac_bitwidth : Nat_big_num.num;
  2. ac_half : Nat_big_num.num;
  3. ac_all : Nat_big_num.num;
  4. ac_max : Nat_big_num.num;
}
type operation_semantics =
  1. | OpSem_lit
  2. | OpSem_deref
  3. | OpSem_stack of arithmetic_context -> operation_stack -> operation_argument_value list -> operation_stack option
  4. | OpSem_not_supported
  5. | OpSem_binary of arithmetic_context -> Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num option
  6. | OpSem_unary of arithmetic_context -> Nat_big_num.num -> Nat_big_num.num option
  7. | OpSem_opcode_lit of Nat_big_num.num
  8. | OpSem_reg
  9. | OpSem_breg
  10. | OpSem_bregx
  11. | OpSem_fbreg
  12. | OpSem_deref_size
  13. | OpSem_nop
  14. | OpSem_piece
  15. | OpSem_bit_piece
  16. | OpSem_implicit_value
  17. | OpSem_stack_value
  18. | OpSem_call_frame_cfa
type operation = {
  1. op_code : Nat_big_num.num;
  2. op_string : string;
  3. op_argument_values : operation_argument_value list;
  4. op_semantics : operation_semantics;
}
type simple_location =
  1. | SL_memory_address of Nat_big_num.num
  2. | SL_register of Nat_big_num.num
  3. | SL_implicit of Byte_sequence.byte_sequence0
  4. | SL_empty
type composite_location_piece =
  1. | CLP_piece of Nat_big_num.num * simple_location
  2. | CLP_bit_piece of Nat_big_num.num * Nat_big_num.num * simple_location
type single_location =
  1. | SL_simple of simple_location
  2. | SL_composite of composite_location_piece list
type state = {
  1. s_stack : operation_stack;
  2. s_value : simple_location;
  3. s_location_pieces : composite_location_piece list;
}
type !'a register_read_result =
  1. | RRR_result of Nat_big_num.num
  2. | RRR_not_currently_available
  3. | RRR_bad_register_number
type !'a memory_read_result =
  1. | MRR_result of Nat_big_num.num
  2. | MRR_not_currently_available
  3. | MRR_bad_address
type dwarf_format =
  1. | Dwarf32
  2. | Dwarf64
type abbreviation_declaration = {
  1. ad_abbreviation_code : Nat_big_num.num;
  2. ad_tag : Nat_big_num.num;
  3. ad_has_children : bool;
  4. ad_attribute_specifications : (Nat_big_num.num * Nat_big_num.num) list;
}
type abbreviations_table = abbreviation_declaration list
type attribute_value =
  1. | AV_addr of Nat_big_num.num
  2. | AV_block of Nat_big_num.num * Byte_sequence.byte_sequence0
  3. | AV_constantN of Nat_big_num.num * Byte_sequence.byte_sequence0
  4. | AV_constant_SLEB128 of Nat_big_num.num
  5. | AV_constant_ULEB128 of Nat_big_num.num
  6. | AV_exprloc of Nat_big_num.num * Byte_sequence.byte_sequence0
  7. | AV_flag of bool
  8. | AV_ref of Nat_big_num.num
  9. | AV_ref_addr of Nat_big_num.num
  10. | AV_ref_sig8 of Nat_big_num.num
  11. | AV_sec_offset of Nat_big_num.num
  12. | AV_string of Byte_sequence.byte_sequence0
  13. | AV_strp of Nat_big_num.num
type die = {
  1. die_offset : Nat_big_num.num;
  2. die_abbreviation_code : Nat_big_num.num;
  3. die_abbreviation_declaration : abbreviation_declaration;
  4. die_attribute_values : (Nat_big_num.num * attribute_value) list;
  5. die_children : die list;
}
type die_index = (Nat_big_num.num, die list * die) Pmap.map
type compilation_unit_header = {
  1. cuh_offset : Nat_big_num.num;
  2. cuh_dwarf_format : dwarf_format;
  3. cuh_unit_length : Nat_big_num.num;
  4. cuh_version : Nat_big_num.num;
  5. cuh_debug_abbrev_offset : Nat_big_num.num;
  6. cuh_address_size : Nat_big_num.num;
}
type compilation_unit = {
  1. cu_header : compilation_unit_header;
  2. cu_abbreviations_table : abbreviations_table;
  3. cu_die : die;
  4. cu_index : die_index;
}
type compilation_units = compilation_unit list
type type_unit_header = {
  1. tuh_cuh : compilation_unit_header;
  2. tuh_type_signature : Nat_big_num.num;
  3. tuh_type_offset : Nat_big_num.num;
}
type type_unit = {
  1. tu_header : type_unit_header;
  2. tu_abbreviations_table : abbreviations_table;
  3. tu_die : die;
}
type type_units = type_unit list
type single_location_description = Byte_sequence.byte_sequence0
type location_list_entry = {
  1. lle_beginning_address_offset : Nat_big_num.num;
  2. lle_ending_address_offset : Nat_big_num.num;
  3. lle_single_location_description : single_location_description;
}
type base_address_selection_entry = {
  1. base_address : Nat_big_num.num;
}
type location_list_item =
  1. | LLI_lle of location_list_entry
  2. | 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 = {
  1. rle_beginning_address_offset : Nat_big_num.num;
  2. rle_ending_address_offset : Nat_big_num.num;
}
type range_list_item =
  1. | RLI_rle of range_list_entry
  2. | 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_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 =
  1. | CFAT_address
  2. | CFAT_delta1
  3. | CFAT_delta2
  4. | CFAT_delta4
  5. | CFAT_delta_ULEB128
  6. | CFAT_offset
  7. | CFAT_sfoffset
  8. | CFAT_register
  9. | CFAT_block
type call_frame_argument_value =
  1. | CFAV_address of cfa_address
  2. | CFAV_block of cfa_block
  3. | CFAV_delta of cfa_delta
  4. | CFAV_offset of cfa_offset
  5. | CFAV_register of cfa_register
  6. | CFAV_sfoffset of cfa_sfoffset
type call_frame_instruction =
  1. | DW_CFA_advance_loc of cfa_delta
  2. | DW_CFA_offset of cfa_register * cfa_offset
  3. | DW_CFA_restore of cfa_register
  4. | DW_CFA_nop
  5. | DW_CFA_set_loc of cfa_address
  6. | DW_CFA_advance_loc1 of cfa_delta
  7. | DW_CFA_advance_loc2 of cfa_delta
  8. | DW_CFA_advance_loc4 of cfa_delta
  9. | DW_CFA_offset_extended of cfa_register * cfa_offset
  10. | DW_CFA_restore_extended of cfa_register
  11. | DW_CFA_undefined of cfa_register
  12. | DW_CFA_same_value of cfa_register
  13. | DW_CFA_register of cfa_register * cfa_register
  14. | DW_CFA_remember_state
  15. | DW_CFA_restore_state
  16. | DW_CFA_def_cfa of cfa_register * cfa_offset
  17. | DW_CFA_def_cfa_register of cfa_register
  18. | DW_CFA_def_cfa_offset of cfa_offset
  19. | DW_CFA_def_cfa_expression of cfa_block
  20. | DW_CFA_expression of cfa_register * cfa_block
  21. | DW_CFA_offset_extended_sf of cfa_register * cfa_sfoffset
  22. | DW_CFA_def_cfa_sf of cfa_register * cfa_sfoffset
  23. | DW_CFA_def_cfa_offset_sf of cfa_sfoffset
  24. | DW_CFA_val_offset of cfa_register * cfa_offset
  25. | DW_CFA_val_offset_sf of cfa_register * cfa_sfoffset
  26. | DW_CFA_val_expression of cfa_register * cfa_block
  27. | DW_CFA_unknown of char
type cie = {
  1. cie_offset : Nat_big_num.num;
  2. cie_length : Nat_big_num.num;
  3. cie_id : Nat_big_num.num;
  4. cie_version : Nat_big_num.num;
  5. cie_augmentation : Byte_sequence.byte_sequence0;
  6. cie_address_size : Nat_big_num.num option;
  7. cie_segment_size : Nat_big_num.num option;
  8. cie_code_alignment_factor : Nat_big_num.num;
  9. cie_data_alignment_factor : Nat_big_num.num;
  10. cie_return_address_register : cfa_register;
  11. cie_initial_instructions_bytes : Byte_sequence.byte_sequence0;
  12. cie_initial_instructions : call_frame_instruction list;
}
type fde = {
  1. fde_offset : Nat_big_num.num;
  2. fde_length : Nat_big_num.num;
  3. fde_cie_pointer : Nat_big_num.num;
  4. fde_initial_location_segment_selector : Nat_big_num.num option;
  5. fde_initial_location_address : Nat_big_num.num;
  6. fde_address_range : Nat_big_num.num;
  7. fde_instructions_bytes : Byte_sequence.byte_sequence0;
  8. fde_instructions : call_frame_instruction list;
}
type frame_info_element =
  1. | FIE_cie of cie
  2. | FIE_fde of fde
type frame_info = frame_info_element list
type cfa_rule =
  1. | CR_undefined
  2. | CR_register of cfa_register * Nat_big_num.num
  3. | CR_expression of single_location_description
type register_rule =
  1. | RR_undefined
  2. | RR_same_value
  3. | RR_offset of Nat_big_num.num
  4. | RR_val_offset of Nat_big_num.num
  5. | RR_register of Nat_big_num.num
  6. | RR_expression of single_location_description
  7. | RR_val_expression of single_location_description
  8. | RR_architectural
type register_rule_map = (cfa_register * register_rule) list
type cfa_table_row = {
  1. ctr_loc : Nat_big_num.num;
  2. ctr_cfa : cfa_rule;
  3. ctr_regs : register_rule_map;
}
type cfa_state = {
  1. cs_current_row : cfa_table_row;
  2. cs_previous_rows : cfa_table_row list;
  3. cs_initial_instructions_row : cfa_table_row;
  4. cs_row_stack : cfa_table_row list;
}
type evaluated_frame_info = (fde * cfa_table_row list) list
type line_number_argument_type =
  1. | LNAT_address
  2. | LNAT_ULEB128
  3. | LNAT_SLEB128
  4. | LNAT_uint16
  5. | LNAT_string
type line_number_argument_value =
  1. | LNAV_address of Nat_big_num.num
  2. | LNAV_ULEB128 of Nat_big_num.num
  3. | LNAV_SLEB128 of Nat_big_num.num
  4. | LNAV_uint16 of Nat_big_num.num
  5. | LNAV_string of Byte_sequence.byte_sequence0
type line_number_operation =
  1. | DW_LNS_copy
  2. | DW_LNS_advance_pc of Nat_big_num.num
  3. | DW_LNS_advance_line of Nat_big_num.num
  4. | DW_LNS_set_file of Nat_big_num.num
  5. | DW_LNS_set_column of Nat_big_num.num
  6. | DW_LNS_negate_stmt
  7. | DW_LNS_set_basic_block
  8. | DW_LNS_const_add_pc
  9. | DW_LNS_fixed_advance_pc of Nat_big_num.num
  10. | DW_LNS_set_prologue_end
  11. | DW_LNS_set_epilogue_begin
  12. | DW_LNS_set_isa of Nat_big_num.num
  13. | DW_LNE_end_sequence
  14. | DW_LNE_set_address of Nat_big_num.num
  15. | DW_LNE_define_file of Byte_sequence.byte_sequence0 * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num
  16. | DW_LNE_set_discriminator of Nat_big_num.num
  17. | DW_LN_special of Nat_big_num.num
type line_number_file_entry = {
  1. lnfe_path : Byte_sequence.byte_sequence0;
  2. lnfe_directory_index : Nat_big_num.num;
  3. lnfe_last_modification : Nat_big_num.num;
  4. lnfe_length : Nat_big_num.num;
}
type line_number_header = {
  1. lnh_offset : Nat_big_num.num;
  2. lnh_dwarf_format : dwarf_format;
  3. lnh_unit_length : Nat_big_num.num;
  4. lnh_version : Nat_big_num.num;
  5. lnh_header_length : Nat_big_num.num;
  6. lnh_minimum_instruction_length : Nat_big_num.num;
  7. lnh_maximum_operations_per_instruction : Nat_big_num.num;
  8. lnh_default_is_stmt : bool;
  9. lnh_line_base : Nat_big_num.num;
  10. lnh_line_range : Nat_big_num.num;
  11. lnh_opcode_base : Nat_big_num.num;
  12. lnh_standard_opcode_lengths : Nat_big_num.num list;
  13. lnh_include_directories : Byte_sequence.byte_sequence0 list;
  14. lnh_file_entries : line_number_file_entry list;
  15. lnh_comp_dir : string option;
}
type line_number_program = {
  1. lnp_header : line_number_header;
  2. lnp_operations : line_number_operation list;
}
type line_number_registers = {
  1. lnr_address : Nat_big_num.num;
  2. lnr_op_index : Nat_big_num.num;
  3. lnr_file : Nat_big_num.num;
  4. lnr_line : Nat_big_num.num;
  5. lnr_column : Nat_big_num.num;
  6. lnr_is_stmt : bool;
  7. lnr_basic_block : bool;
  8. lnr_end_sequence : bool;
  9. lnr_prologue_end : bool;
  10. lnr_epilogue_begin : bool;
  11. lnr_isa : Nat_big_num.num;
  12. 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 = {
  1. d_endianness : Endianness.endianness;
  2. d_str : Byte_sequence.byte_sequence0;
  3. d_compilation_units : compilation_units;
  4. d_type_units : type_units;
  5. d_loc : location_list_list;
  6. d_ranges : range_list_list;
  7. d_frame_info : frame_info;
  8. 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 = {
  1. ds_dwarf : dwarf;
  2. ds_analysed_location_data : analysed_location_data;
  3. ds_evaluated_frame_info : evaluated_frame_info;
  4. ds_evaluated_line_info : evaluated_line_info;
  5. 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 = {
  1. endianness : Endianness.endianness;
}
type cupdie = compilation_unit * die list * die
type decl = {
  1. decl_file : string option;
  2. 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 =
  1. | Atk_structure
  2. | Atk_union
type enumeration_member = cupdie * string option * Nat_big_num.num
type !'t c_type_top =
  1. | CT_base of cupdie * string * Nat_big_num.num * Nat_big_num.num option
  2. | CT_pointer of cupdie * 't option
  3. | CT_const of cupdie * 't option
  4. | CT_volatile of cupdie * 't
  5. | CT_restrict of cupdie * 't
  6. | CT_typedef of cupdie * string * 't * decl
  7. | CT_array of cupdie * 't * 't array_dimension list
  8. | CT_struct_union of cupdie * struct_union_type_kind * string option * Nat_big_num.num option * decl * 't struct_union_member list option
  9. | CT_enumeration of cupdie * string option * 't option * Nat_big_num.num option * decl * enumeration_member list option
type c_type =
  1. | CT of c_type c_type_top
type variable_or_formal_parameter_kind =
  1. | SVPK_var
  2. | SVPK_param
type sdt_unspecified_parameter = unit
type sdt_variable_or_formal_parameter = {
  1. svfp_cupdie : cupdie;
  2. svfp_name : string;
  3. svfp_kind : variable_or_formal_parameter_kind;
  4. svfp_type : c_type;
  5. svfp_abstract_origin : sdt_variable_or_formal_parameter option;
  6. svfp_const_value : Nat_big_num.num option;
  7. svfp_external : bool;
  8. svfp_declaration : bool;
  9. svfp_locations : (Nat_big_num.num * Nat_big_num.num * operation list) list option;
  10. svfp_decl : unpacked_decl option;
}
type sdt_subroutine_kind =
  1. | SSK_subprogram
  2. | SSK_inlined_subroutine
type sdt_subroutine = {
  1. ss_cupdie : cupdie;
  2. ss_name : string option;
  3. ss_kind : sdt_subroutine_kind;
  4. ss_call_site : unpacked_decl option;
  5. ss_abstract_origin : sdt_subroutine option;
  6. ss_type : c_type option;
  7. ss_vars : sdt_variable_or_formal_parameter list;
  8. ss_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list option;
  9. ss_entry_address : Nat_big_num.num option;
  10. ss_unspecified_parameters : sdt_unspecified_parameter list;
  11. ss_subroutines : sdt_subroutine list;
  12. ss_lexical_blocks : sdt_lexical_block list;
  13. ss_decl : unpacked_decl option;
  14. ss_noreturn : bool;
  15. ss_external : bool;
}
and sdt_lexical_block = {
  1. slb_cupdie : cupdie;
  2. slb_vars : sdt_variable_or_formal_parameter list;
  3. slb_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list option;
  4. slb_subroutines : sdt_subroutine list;
  5. slb_lexical_blocks : sdt_lexical_block list;
}
type sdt_compilation_unit = {
  1. scu_cupdie : cupdie;
  2. scu_name : string;
  3. scu_subroutines : sdt_subroutine list;
  4. scu_vars : sdt_variable_or_formal_parameter list;
}
type sdt_dwarf = {
  1. sd_compilation_units : sdt_compilation_unit list;
}
type inlined_subroutine_const_param = {
  1. iscp_abstract_origin : compilation_unit * die list * die;
  2. iscp_value : Nat_big_num.num;
}
type inlined_subroutine = {
  1. is_inlined_subroutine : compilation_unit * die list * die;
  2. is_abstract_origin : compilation_unit * die list * die;
  3. is_inlined_subroutine_sdt : sdt_subroutine;
  4. is_inlined_subroutine_sdt_parents : sdt_subroutine list;
  5. is_name : string;
  6. is_call_file : unpacked_file_entry;
  7. is_call_line : Nat_big_num.num;
  8. is_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list;
  9. 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 natural_of_bytes_little : 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 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 = {
  1. pc_bytes : Byte_sequence.byte_sequence0;
  2. pc_offset : Nat_big_num.num;
}
type !'a parse_result =
  1. | PR_success of 'a * parse_context
  2. | 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 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 bzero : char
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 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 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 parse_and_pp_operations : p_context -> compilation_unit_header -> Byte_sequence.byte_sequence0 -> 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 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 : 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 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 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 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 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 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_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 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 pp_ufe : unpacked_file_entry -> string
val pp_ud : unpacked_decl -> string
val pp_ufe_brief : unpacked_file_entry -> string
val pp_line_info : line_number_program list -> string
val pp_dwarf_like_objdump : dwarf -> string
val pp_dwarf : dwarf -> string
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 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 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 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 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_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 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
OCaml

Innovation. Community. Security.