Module Carton.EncSource

Sourcetype 'uid entry
Sourcetype 'uid delta =
  1. | From of 'uid
  2. | Zero
Sourceval make_entry : kind:[ `A | `B | `C | `D ] -> length:int -> ?preferred:bool -> ?delta:'uid delta -> 'uid -> 'uid entry
Sourceval length : 'uid entry -> int
Sourcetype 'uid q
Sourceand 'uid p
Sourceand 'uid patch
Sourcetype ('uid, 's) load = 'uid -> (Dec.v, 's) Carton__.Sigs.io
Sourcetype ('uid, 's) find = 'uid -> (int option, 's) Carton__.Sigs.io
Sourcetype 'uid uid = {
  1. uid_ln : int;
  2. uid_rw : 'uid -> string;
}
Sourceval target_to_source : 'uid q -> 'uid p
Sourceval target_uid : 'uid q -> 'uid
Sourceval target_length : 'uid q -> int
Sourceval entry_to_target : 's Carton__.Sigs.scheduler -> load:('uid, 's) load -> 'uid entry -> ('uid q, 's) Carton__.Sigs.io
Sourceval apply : 's Carton__.Sigs.scheduler -> load:('uid, 's) load -> uid_ln:int -> source:'uid p -> target:'uid q -> (unit, 's) Carton__.Sigs.io
Sourcemodule type VERBOSE = sig ... end
Sourcemodule type UID = sig ... end
Sourcemodule Delta (Scheduler : sig ... end) (IO : sig ... end) (Uid : UID) (Verbose : VERBOSE with type 'a fiber = 'a IO.t) : sig ... end
Sourcemodule N : sig ... end
Sourceval encode_header : o:Bigstringaf.t -> int -> int -> int
Sourceval header_of_pack : length:int -> Bigstringaf.t -> int -> int -> unit
Sourceval encode_target : 's Carton__.Sigs.scheduler -> b:b -> find:('uid, 's) find -> load:('uid, 's) load -> uid:'uid uid -> 'uid q -> cursor:int -> (int * N.encoder, 's) Carton__.Sigs.io