package linksem

You can search for identifiers within the package.

in-package search v0.2.0

package linksem

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

val at_null : Nat_big_num.num

val at_ignore : Nat_big_num.num

val at_execfd : Nat_big_num.num

val at_phdr : Nat_big_num.num

val at_phent : Nat_big_num.num

val at_phnum : Nat_big_num.num

val at_pagesz : Nat_big_num.num

val at_base : Nat_big_num.num

val at_flags : Nat_big_num.num

val at_entry : Nat_big_num.num

val at_notelf : Nat_big_num.num

val at_uid : Nat_big_num.num

val at_euid : Nat_big_num.num

val at_gid : Nat_big_num.num

val at_egid : Nat_big_num.num

val at_clktck : Nat_big_num.num

val at_platform : Nat_big_num.num

val at_hwcap : Nat_big_num.num

val at_fpucw : Nat_big_num.num

val at_dcachebsize : Nat_big_num.num

val at_icachebsize : Nat_big_num.num

val at_ucachebsize : Nat_big_num.num

val at_ignoreppc : Nat_big_num.num

val at_secure : Nat_big_num.num

val at_base_platform : Nat_big_num.num

val at_random : Nat_big_num.num

val at_hwcap2 : Nat_big_num.num

val at_execfn : Nat_big_num.num

val at_sysinfo : Nat_big_num.num

val at_sysinfo_ehdr : Nat_big_num.num

type elf64_auxv = {

elf64_auxv_type : Uint64_wrapper.uint64;
elf64_auxv_value : Uint64_wrapper.uint64;

}

type elf64_siginfo = {

elf64_si_signo : Uint64_wrapper.uint64;
elf64_si_code : Uint64_wrapper.uint64;
elf64_si_errno : Uint64_wrapper.uint64;

}

type elf64_prstatus = {

elf64_pr_info : elf64_siginfo;

}

val read_elf64_auxv : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_auxv * Byte_sequence_wrapper.byte_sequence) Error.error

val read_all_elf64_auxv : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_auxv list Error.error

val find_elf64_auxv_value : 
  elf64_auxv list ->
  Nat_big_num.num ->
  Nat_big_num.num option Error.error