jon.recoil.org

Module Flambda_kind.Scannable_block_shape

type t =
  1. | Value_only
  2. | Mixed_record of Mixed_block_shape.t
val equal : t -> t -> bool

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

val compare : t -> t -> int
val print : Format.formatter -> t -> unit
val element_kind : t -> int -> kind
val from_mixed_block_shape : _ Mixed_block_lambda_shape.t -> t