Module KTErasedChainSource

Sourceval fst : ('a1 * 'a2) -> 'a1
Sourceval snd : ('a1 * 'a2) -> 'a2
Sourcemodule Nat : sig ... end
Sourcetype 'x buf5 =
  1. | B0
  2. | B1 of 'x
  3. | B2 of 'x * 'x
  4. | B3 of 'x * 'x * 'x
  5. | B4 of 'x * 'x * 'x * 'x
  6. | B5 of 'x * 'x * 'x * 'x * 'x
Sourceval buf5_push_naive : 'a1 -> 'a1 buf5 -> 'a1 buf5 option
Sourceval buf5_inject_naive : 'a1 buf5 -> 'a1 -> 'a1 buf5 option
Sourceval buf5_pop_naive : 'a1 buf5 -> ('a1 * 'a1 buf5) option
Sourceval buf5_eject_naive : 'a1 buf5 -> ('a1 buf5 * 'a1) option
Sourcetype color =
  1. | Green
  2. | Yellow
  3. | Red
Sourceval green_push : 'a1 -> 'a1 buf5 -> 'a1 buf5 option
Sourceval green_inject : 'a1 buf5 -> 'a1 -> 'a1 buf5 option
Sourceval yellow_push : 'a1 -> 'a1 buf5 -> 'a1 buf5 option
Sourceval yellow_inject : 'a1 buf5 -> 'a1 -> 'a1 buf5 option
Sourceval green_pop : 'a1 buf5 -> ('a1 * 'a1 buf5) option
Sourceval green_eject : 'a1 buf5 -> ('a1 buf5 * 'a1) option
Sourceval yellow_pop : 'a1 buf5 -> ('a1 * 'a1 buf5) option
Sourceval yellow_eject : 'a1 buf5 -> ('a1 buf5 * 'a1) option
Sourceval prefix23 : 'a1 option -> ('a1 * 'a1) -> 'a1 buf5
Sourceval suffix23 : ('a1 * 'a1) -> 'a1 option -> 'a1 buf5
Sourceval suffix12 : 'a1 -> 'a1 option -> 'a1 buf5
Sourcetype 'x bdecomp_pre =
  1. | BD_pre_underflow of 'x option
  2. | BD_pre_ok of 'x buf5
  3. | BD_pre_overflow of 'x buf5 * 'x * 'x
Sourcetype 'x bdecomp_suf =
  1. | BD_suf_underflow of 'x option
  2. | BD_suf_ok of 'x buf5
  3. | BD_suf_overflow of 'x buf5 * 'x * 'x
Sourceval prefix_decompose : 'a1 buf5 -> 'a1 bdecomp_pre
Sourceval suffix_decompose : 'a1 buf5 -> 'a1 bdecomp_suf
Sourcetype 'x bsandwich =
  1. | BS_alone of 'x option
  2. | BS_sandwich of 'x * 'x buf5 * 'x
Sourceval buffer_unsandwich : 'a1 buf5 -> 'a1 bsandwich
Sourceval prefix_rot : 'a1 -> 'a1 buf5 -> 'a1 buf5 * 'a1
Sourceval suffix_rot : 'a1 buf5 -> 'a1 -> 'a1 * 'a1 buf5
Sourceval buffer_halve : 'a1 buf5 -> 'a1 option * ('a1 * 'a1) buf5
Sourcetype 'x gPacket =
  1. | GHole
  2. | GPNode of 'x buf5 * 'x gPacket * 'x buf5
Sourcetype 'x gChain =
  1. | GEnding of 'x buf5
  2. | GChainCons of 'x gPacket * 'x gChain
Sourcetype 'x gKChain =
  1. | GKEnding of 'x buf5
  2. | GKCons of color * 'x gPacket * 'x gKChain
Sourcetype 'x gSChain =
  1. | GSEnding of int * 'x buf5
  2. | GSCons of int * color * 'x gPacket * 'x gKChain
Sourcetype 'x gpop_result =
  1. | GPopFail
  2. | GPopOk of 'x * 'x gSChain
Sourceval buf5_map : ('a1 -> 'a2) -> 'a1 buf5 -> 'a2 buf5
Sourceval green_prefix_concat_e : 'a1 Eraw.t buf5 -> 'a1 Eraw.t buf5 -> ('a1 Eraw.t buf5 * 'a1 Eraw.t buf5) option
Sourceval green_suffix_concat_e : 'a1 Eraw.t buf5 -> 'a1 Eraw.t buf5 -> ('a1 Eraw.t buf5 * 'a1 Eraw.t buf5) option
Sourceval prefix_concat_e : 'a1 Eraw.t buf5 -> 'a1 Eraw.t buf5 -> ('a1 Eraw.t buf5 * 'a1 Eraw.t buf5) option
Sourceval suffix_concat_e : 'a1 Eraw.t buf5 -> 'a1 Eraw.t buf5 -> ('a1 Eraw.t buf5 * 'a1 Eraw.t buf5) option
Sourceval gpair_one : ('a1 Eraw.t * 'a1 Eraw.t) -> 'a1 Eraw.t
Sourceval gpair_each : ('a1 Eraw.t * 'a1 Eraw.t) buf5 -> 'a1 Eraw.t buf5
Sourceval gbuffer_push_chain : 'a1 -> 'a1 buf5 -> 'a1 gChain
Sourceval gbuffer_inject_chain : 'a1 buf5 -> 'a1 -> 'a1 gChain
Sourceval gmk_ending_from_options : 'a1 option -> ('a1 * 'a1) option -> 'a1 option -> 'a1 gChain
Sourceval make_small_e : 'a1 Eraw.t buf5 -> 'a1 Eraw.t buf5 -> 'a1 Eraw.t buf5 -> 'a1 Eraw.t gChain option
Sourceval gchain_to_gkchain_g : 'a1 gChain -> 'a1 gKChain
Sourceval green_of_red_k_e : 'a1 Eraw.t gKChain -> 'a1 Eraw.t gKChain option
Sourceval gs_of : int -> 'a1 gKChain -> 'a1 gSChain
Sourceval eyellow_wrap : 'a1 Eraw.t gSChain -> int -> 'a1 Eraw.t buf5 -> 'a1 Eraw.t gPacket -> 'a1 Eraw.t buf5 -> 'a1 Eraw.t gKChain -> 'a1 Eraw.t gSChain
Sourceval epush_s : 'a1 Eraw.t -> 'a1 Eraw.t gSChain -> 'a1 Eraw.t gSChain
Sourceval einject_s : 'a1 Eraw.t gSChain -> 'a1 Eraw.t -> 'a1 Eraw.t gSChain
Sourceval epop_s : 'a1 Eraw.t gSChain -> 'a1 Eraw.t gpop_result
Sourceval eeject_s : 'a1 Eraw.t gSChain -> 'a1 Eraw.t gpop_result
Sourceval egs_empty : 'a1 Eraw.t gSChain
Sourceval egs_size : 'a1 gSChain -> int