type t = Instr.t arrayval kosaraju : t -> int arrayval print : Data.t -> Symb.t -> Prim.t -> Stdlib.out_channel -> t -> unitval read : Version.t -> Index.t -> Stdlib.in_channel -> tval write : Version.t -> Stdlib.out_channel -> t -> unitOByteLib.Codetype t = Instr.t arrayval kosaraju : t -> int arrayval print : Data.t -> Symb.t -> Prim.t -> Stdlib.out_channel -> t -> unitval read : Version.t -> Index.t -> Stdlib.in_channel -> tval write : Version.t -> Stdlib.out_channel -> t -> unit