diff options
Diffstat (limited to 'src/elf_model/elf_linking_file2.lem')
| -rw-r--r-- | src/elf_model/elf_linking_file2.lem | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/elf_model/elf_linking_file2.lem b/src/elf_model/elf_linking_file2.lem new file mode 100644 index 00000000..df69b5c9 --- /dev/null +++ b/src/elf_model/elf_linking_file2.lem @@ -0,0 +1,13 @@ +open import Bitstring + +open import Elf_header +open import Elf_section_header_table + +open import Maybe + +type elf32_linking_file2 = + <| elf32_executable_file2_header : elf32_header + ; elf32_executable_file2_program_header_table : maybe elf32_program_header_table + ; elf32_executable_file2_body : bitstring + ; elf32_executable_file2_section_header_table : elf32_section_header_table + |>
\ No newline at end of file |