type t = ident option array
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.Symb
type t = ident option array
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