val empty : t
val print : Stdlib.out_channel -> t -> unit
val read : Index.t -> Stdlib.in_channel -> t
val write : Stdlib.out_channel -> t -> unit
OByteLib.Dlpt
val empty : t
val print : Stdlib.out_channel -> t -> unit
val read : Index.t -> Stdlib.in_channel -> t
val write : Stdlib.out_channel -> t -> unit