package linksem

You can search for identifiers within the package.

in-package search v0.2.0

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

type make_concrete_fn = Memory_image.element -> Memory_image.element

val elf64_file_of_elf_memory_image : 
  Abis.any_abi_feature Memory_image.abi ->
  (Memory_image.element -> Memory_image.element) ->
  'a ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Elf_file.elf64_file