package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type

abi_riscv_program_header_table, program header table specific definitions * for the RISCV ABI.

New segment types.

val string_of_abi_riscv_elf_segment_type : 'a -> string

string_of_abi_riscv_elf_segment_type m produces a string based representation * of RISCV segment type m.

val abi_riscv_is_valid_program_interpreter : string -> bool

abi_riscv_is_valid_program_interpreter s checks whether the program interpreter * string is valid for RISCV ABI. * See Section XXX FIXME