jon.recoil.org

Module Flambda_kind.Scannable_block_shape

type t =
  1. | Value_only
  2. | Mixed_record of Flambda2_kinds.Flambda_kind.Mixed_block_shape.t

For now if two block shapes do not compare as equal they will be incompatible. If that changes, a compatible function will be introduced.