Module IO.HeaderSource

Sourcetype header = {
  1. offset : int64;
  2. generation : int64;
}
Sourceval set : t -> header -> unit
Sourceval get : t -> header