Source file abi_amd64_symbol_table.ml

(*Generated by Lem from abis/amd64/abi_amd64_symbol_table.lem.*)
(** [abi_amd64_symbol_table], AMD64 ABI specific definitions for the ELF symbol
  * table.
  *)

open Lem_basic_classes
open Lem_num
open Gnu_ext_abi

(** AMD64 specific symbol types.  See doc/ifunc.txt and Section 4.3 of the
  * ABI.
  *)

(** [string_of_abi_amd64_symbol_type m] produces a string based representation
  * of AMD64 symbol type [m].
  *)
(*val string_of_abi_amd64_symbol_type : natural -> string*)
let string_of_abi_amd64_symbol_type m:string=
   (if Nat_big_num.equal m stt_gnu_ifunc then
    "GNU_IFUNC"
  else
    "Invalid AMD64 symbol type")