Loader_elf.Shdrmodule SHT : sig ... endmodule SHF : sig ... endtype t = private {idx : int;name : string;kind : SHT.t;flags : Loader_types.u64;addr : Loader_types.u64;offset : Loader_types.u64;size : Loader_types.u64;link : Loader_types.u32;info : Loader_types.u32;addralign : Loader_types.u64;entsize : Loader_types.u64;}module SHN : sig ... end