package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type integer_bit_width =
  1. | I8
  2. | I12
  3. | U12
  4. | Low14
  5. | U15
  6. | I15
  7. | I16
  8. | Half16ds
  9. | I20
  10. | Low24
  11. | I27
  12. | Word30
  13. | I32
  14. | I48
  15. | I64
  16. | I64X2
  17. | U16
  18. | U24
  19. | U32
  20. | U48
  21. | U64
val natural_of_integer_bit_width : integer_bit_width -> Nat_big_num.num
type relocation_operator =
  1. | TPRel
  2. | LTOff
  3. | DTPMod
  4. | DTPRel
  5. | Page
  6. | GDat
  7. | G
  8. | GLDM
  9. | GTPRel
  10. | GTLSDesc
  11. | Delta
  12. | LDM
  13. | TLSDesc
  14. | Indirect
  15. | Lo
  16. | Hi
  17. | Ha
  18. | Higher
  19. | HigherA
  20. | Highest
  21. | HighestA
type relocation_operator2 =
  1. | GTLSIdx
type ('k, 'v) val_map = ('k, 'v) Pmap.map
val lookupM : 'a -> 'b -> ('b, 'v) Pmap.map -> 'v Error.error
type !'a can_fail =
  1. | CanFail
  2. | CanFailOnTest of 'a -> bool
  3. | CannotFail
type (!'addr, !'res) relocation_frame =
  1. | Copy
  2. | NoCopy of ('addr, 'res relocation_operator_expression * integer_bit_width * 'res can_fail) Pmap.map
val parse_elf64_relocation_info : Nat_big_num.num -> Nat_big_num.num * Nat_big_num.num
OCaml

Innovation. Community. Security.