Module `Mixed_product_bytes`

Counts the number of bytes belonging to values and flat (non-value) of a mixed block element, for the purpose of compiling block indices

module Byte_count : sig ... end

type t = {

value : Mixed_product_bytes.Byte_count.t;
flat : Mixed_product_bytes.Byte_count.t;

}

val zero : Mixed_product_bytes.t

val add : 
  Mixed_product_bytes.t ->
  Mixed_product_bytes.t ->
  Mixed_product_bytes.t

val count : _ Lambda.mixed_block_element -> Mixed_product_bytes.t

val has_value_and_flat : Mixed_product_bytes.t -> bool

module Wrt_path : sig ... end

A path into a mixed block element (identifying some subelement) can be considered to partition the mixed block element into three parts: to the left, at subelement, and to the right.

Module Mixed_product_bytes

Module `Mixed_product_bytes`