package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val natural_of_integer_bit_width : integer_bit_width -> Nat_big_num.numtype ('k, 'v) val_map = ('k, 'v) Pmap.mapval lookupM : 'a -> 'b -> ('b, 'v) Pmap.map -> 'v Error.errortype !'a relocation_operator_expression = | Lift of 'a| Apply of relocation_operator * 'a relocation_operator_expression| Apply2 of relocation_operator2 * 'a relocation_operator_expression * 'a relocation_operator_expression| Plus of 'a relocation_operator_expression * 'a relocation_operator_expression| Minus of 'a relocation_operator_expression * 'a relocation_operator_expression| RShift of 'a relocation_operator_expression * Nat_big_num.num
type (!'addr, !'res) relocation_frame = | Copy| NoCopy of ('addr, 'res relocation_operator_expression * integer_bit_width * 'res can_fail) Pmap.map
val size_of_def :
Memory_image.symbol_reference_and_reloc_site ->
Nat_big_num.numval size_of_copy_reloc :
'a ->
Memory_image.symbol_reference_and_reloc_site ->
Nat_big_num.numval reloc_site_address :
'a Lem_basic_classes.ord_class ->
'b ->
'a Memory_image.annotated_memory_image ->
Memory_image.symbol_reference_and_reloc_site ->
Nat_big_num.numval parse_elf64_relocation_info :
Nat_big_num.num ->
Nat_big_num.num * Nat_big_num.num