sig
  type 'a reader = Bi_inbuf.t -> 'a
  type 'a writer = Bi_outbuf.t -> 'a -> unit
  val from_channel :
    ?len:int ->
    ?shrlen:int -> 'a Ag_util.Biniou.reader -> Pervasives.in_channel -> 'a
  val from_file :
    ?len:int -> ?shrlen:int -> 'a Ag_util.Biniou.reader -> string -> 'a
  val to_channel :
    ?len:int ->
    ?shrlen:int ->
    'a Ag_util.Biniou.writer -> Pervasives.out_channel -> 'a -> unit
  val to_file :
    ?len:int ->
    ?shrlen:int -> 'a Ag_util.Biniou.writer -> string -> 'a -> unit
end