Module Carton_lwt.DecSource

Sourcemodule W : sig ... end
Sourcetype 'fd read = 'fd -> bytes -> off:int -> len:int -> int Lwt.t
Sourcemodule Fp (Uid : Carton.UID) : sig ... end
Sourcetype ('fd, 'uid) t = ('fd, 'uid) Carton.Dec.t
Sourceval with_z : Bigstringaf.t -> ('fd, 'uid) t -> ('fd, 'uid) t
Sourceval with_w : 'fd W.t -> ('fd, 'uid) t -> ('fd, 'uid) t
Sourceval with_allocate : allocate:(int -> De.window) -> ('fd, 'uid) t -> ('fd, 'uid) t
Sourceval fd : ('fd, 'uid) t -> 'fd
Sourceval make_raw : weight:weight -> raw
Sourceval v : kind:Carton.kind -> ?depth:int -> Bigstringaf.t -> v
Sourceval kind : v -> Carton.kind
Sourceval raw : v -> Bigstringaf.t
Sourceval len : v -> int
Sourceval depth : v -> int
Sourceval make : 'fd -> z:Zl.bigstring -> allocate:(int -> Zl.window) -> uid_ln:int -> uid_rw:(string -> 'uid) -> ('uid -> int64) -> ('fd, 'uid) t
Sourceval weight_of_offset : map:'fd W.map -> ('fd, 'uid) t -> weight:weight -> int64 -> weight
Sourceval weight_of_uid : map:'fd W.map -> ('fd, 'uid) t -> weight:weight -> 'uid -> weight
Sourceval of_offset : map:'fd W.map -> ('fd, 'uid) t -> raw -> cursor:int64 -> v
Sourceval of_uid : map:'fd W.map -> ('fd, 'uid) t -> raw -> 'uid -> v
Sourceval path_to_list : path -> int64 list
Sourceval kind_of_path : path -> [ `A | `B | `C | `D ]
Sourceval path_of_offset : map:'fd W.map -> ('fd, 'uid) t -> cursor:int64 -> path
Sourceval path_of_uid : map:'fd W.map -> ('fd, 'uid) t -> 'uid -> path
Sourceval of_offset_with_path : map:'fd W.map -> ('fd, 'uid) t -> path:path -> raw -> cursor:int64 -> v
Sourcetype 'uid digest = 'uid Carton.Dec.digest
Sourceval uid_of_offset : map:'fd W.map -> digest:'uid digest -> ('fd, 'uid) t -> raw -> cursor:int64 -> Carton.kind * 'uid
Sourceval uid_of_offset_with_source : map:'fd W.map -> digest:'uid digest -> ('fd, 'uid) t -> kind:Carton.kind -> raw -> depth:int -> cursor:int64 -> 'uid
Sourcetype 'uid oracle = 'uid Carton.Dec.oracle
Sourcemodule Verify (Uid : Carton.UID) : sig ... end
Sourcemodule Ip (Uid : Carton.UID) : sig ... end