Module Bin_decoder_bstrSource

Sourcetype 'a fread = Bin_bstr.t -> abs -> abs -> Bin_type.pos -> 'a
Sourcetype ('a, 'b) freaders =
  1. | R0 : ('a, 'a) freaders
  2. | R1 : 'b fread * ('a, 'c) freaders -> ('a, 'b -> 'c) freaders
Sourcetype 'a sread = Bin_bstr.t -> abs -> 'a
Sourcetype rmemo =
  1. | Rm : ('a Bin_type.Witness.t * (Bin_bstr.t -> abs -> Bin_type.pos -> 'a)) -> rmemo
Sourceval rmemo_find : 'a. 'a Bin_type.Witness.t -> rmemo list -> (Bin_bstr.t -> abs -> Bin_type.pos -> 'a) option
Sourcetype _ static_operation =
  1. | Iu : {
    1. q : rel;
    2. lsh : int;
    3. rsh : int;
    } -> int static_operation
  2. | Is : {
    1. q : rel;
    2. lsh : int;
    3. rsh : int;
    } -> int static_operation
  3. | Iu_swap : {
    1. q : rel;
    2. lsh : int;
    3. rsh : int;
    } -> int static_operation
  4. | Is_swap : {
    1. q : rel;
    2. lsh : int;
    3. rsh : int;
    } -> int static_operation
  5. | I32raw : {
    1. q : rel;
    2. sh : int;
    } -> int32 static_operation
  6. | I32swap : {
    1. q : rel;
    2. sh : int;
    } -> int32 static_operation
  7. | I64raw : rel -> int64 static_operation
  8. | I64swap : rel -> int64 static_operation
  9. | Ofun : 'a sread -> 'a static_operation
Sourcetype int_operation = {
  1. iq : rel;
  2. ish : int;
  3. imask : int;
}
Sourcetype ('a, 'b) sreaders =
  1. | S0 : ('a, 'a) sreaders
  2. | S1 : 'b static_operation * ('a, 'c) sreaders -> ('a, 'b -> 'c) sreaders
  3. | Sint : int_operation * ('a, 'c) sreaders -> ('a, int -> 'c) sreaders
Sourcetype 'a splan =
  1. | Splan : 'b * ('a, 'b) sreaders -> 'a splan
Sourcetype ('a, 'b) wreaders =
  1. | W0 : ('a, 'a) wreaders
  2. | W1 : (int -> 'b) * ('a, 'c) wreaders -> ('a, 'b -> 'c) wreaders
Sourceval static_exec : 'a. 'a static_operation -> Bin_bstr.t -> abs -> 'a
Sourceval truncated_in : string -> limit:Bin_error.Off.abs Bin_type.Off.t -> offset:Bin_error.Off.abs Bin_error.Off.t -> need:Bin_error.Len.t -> 'a
Sourceval invalid_window : offset:abs -> len:int -> 'a
Sourceval window : ?len:??? -> Bin_bstr.t -> abs -> 'a Bin_type.Off.t
Sourceval r_1 : ('a -> int -> 'b) -> 'a -> Bin_error.Off.abs Bin_error.Off.t -> Bin_error.Off.abs Bin_error.Off.t ref -> 'b
Sourceval r_2 : ('a -> int -> 'b) -> 'a -> Bin_error.Off.abs Bin_error.Off.t -> Bin_error.Off.abs Bin_error.Off.t ref -> 'b
Sourceval r_4 : ('a -> int -> 'b) -> 'a -> Bin_error.Off.abs Bin_error.Off.t -> Bin_error.Off.abs Bin_error.Off.t ref -> 'b
Sourceval r_8 : ('a -> int -> 'b) -> 'a -> Bin_error.Off.abs Bin_error.Off.t -> Bin_error.Off.abs Bin_error.Off.t ref -> 'b
Sourceval apply : 'a 'b. 'b -> ('a, 'b) freaders -> 'a fread
Sourceval slow : 'a 'b. 'b -> ('a, 'b) freaders -> Bin_bstr.t -> abs -> abs -> Bin_type.pos -> 'a
Sourceval static_apply : 'a 'b. 'b -> ('a, 'b) sreaders -> 'a sread
Sourceval static_slow : 'a 'b. 'b -> ('a, 'b) sreaders -> Bin_bstr.t -> abs -> 'a
Sourceval static_apply_top : 'a 'b. 'b -> ('a, 'b) sreaders -> Bin_type.Len.t -> string -> Bin_bstr.t -> ?len:??? -> Bin_type.pos -> 'a
Sourceval wapply : 'a 'b. 'b -> ('a, 'b) wreaders -> int -> 'a
Sourceval wapply_slow : 'a 'b. 'b -> ('a, 'b) wreaders -> int -> 'a
Sourceval int_operation_at : win:Bin_type.Len.t -> delta:rel -> w:Bin_type.Len.t -> big:bool -> int_operation option
Sourcetype _ int_operation_w =
  1. | Int_operation : int_operation -> int int_operation_w
Sourceval int_operation_reader_at : 'a. win:Bin_type.Len.t -> rel -> 'a Bin_type.t -> 'a int_operation_w option
Sourceval bits_reader_at : 'a. rel -> 'a Bin_type.bits -> 'a sread
Sourceval bits_reader : 'a. 'a Bin_type.bits -> 'a sread
Sourceval narrow : win:Bin_type.Len.t -> delta:rel -> w:Bin_type.Len.t -> signed:bool -> big:bool -> fallback:int sread -> int static_operation
Sourceval narrow32 : win:Bin_type.Len.t -> delta:rel -> big:bool -> fallback:int32 sread -> int32 static_operation
Sourceval narrow64 : win:Bin_type.Len.t -> delta:rel -> big:bool -> fallback:int64 sread -> int64 static_operation
Sourceval static_reader_at : 'a. total:bool ref -> win:Bin_type.Len.t -> rel -> 'a Bin_type.t -> 'a static_operation option
Sourceval static_seq : 'a 'b. delta:rel -> n:int -> w:Bin_type.Len.t -> 'a static_operation -> ('a, 'b) Bin_type.seq_kind -> 'b sread
Sourceval static_primary_at : 'a. win:Bin_type.Len.t -> rel -> 'a Bin_type.primary -> 'a static_operation option
Sourceval static_record_at : 'a. total:bool ref -> win:Bin_type.Len.t -> rel -> 'a Bin_type.record -> 'a splan option
Sourceval static_record_plan : 'a. 'a Bin_type.record -> ('a splan * bool) option
Sourceval reader : 'a. 'a Bin_type.t -> Bin_bstr.t -> abs -> Bin_type.pos -> 'a
Sourceval decode : 'a. 'a Bin_type.t -> Bin_bstr.t -> ?len:??? -> Bin_type.pos -> 'a