blob: df69b5c9b6cbf84d2b8a2181e71d674b8b1817e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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
|>
|
