Parameter Make.Index

type 'a rd = < rd : unit.. > as 'a
type 'a wr = < wr : unit.. > as 'a
type 'a mode =
  1. | Rd : < rd : unit > mode
  2. | Wr : < wr : unit > mode
  3. | RdWr : < rd : unit ; wr : unit > mode
type t
type uid
type 'a fd
type error
type +'a fiber = 'a Lwt.t
val pp_error : error Fmt.t
val create : ?trunc:bool -> mode:'a mode -> t -> uid -> ('a fd, error) Stdlib.result fiber
val map : t -> 'm rd fd -> pos:int64 -> int -> Bigstringaf.t
val append : t -> 'm wr fd -> string -> unit fiber
val move : t -> src:uid -> dst:uid -> (unit, error) Stdlib.result fiber
val close : t -> 'm fd -> (unit, error) Stdlib.result fiber