Module Bytesections

Recording sections written to a bytecode executable file

val init_record : Stdlib.out_channel -> unit
val record : Stdlib.out_channel -> string -> unit
val write_toc_and_trailer : Stdlib.out_channel -> unit

Reading sections from a bytecode executable file

val read_toc : Stdlib.in_channel -> unit
exception Bad_magic_number
val toc : unit -> (string * int) list
val seek_section : Stdlib.in_channel -> string -> int
val read_section_string : Stdlib.in_channel -> string -> string
val read_section_struct : Stdlib.in_channel -> string -> 'a
val pos_first_section : Stdlib.in_channel -> int
val reset : unit -> unit