jon.recoil.org

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 = {
  1. value : Byte_count.t;
  2. flat : Byte_count.t;
}
val block_index_offset_bits : int
val zero : t
val add : t -> t -> t
val count : _ Lambda.mixed_block_element -> t
val count_types_shape : Types.mixed_product_shape -> t
val has_value_and_flat : t -> bool
val value_prefix_len : t -> int
val all_value : t -> bool
val shape_is_all_value : _ Lambda.mixed_block_element array -> bool
val types_shape_is_all_value : Types.mixed_product_shape -> 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.