Module `Unboxing_analysis.Unboxed_fields`

type 'a u =

and 'a t = 'a u Field.Map.t

val print : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

val fold_with_kind : 
  (Flambda2_kinds.Flambda_kind.t -> 'a -> 'b -> 'b) ->
  'a t ->
  'b ->
  'b

val map : ('a -> 'b) -> 'a t -> 'b t

val map_u : ('a -> 'b) -> 'a u -> 'b u

val fold2_subset : ('a -> 'b -> 'c -> 'c) -> 'a t -> 'b t -> 'c -> 'c

val fold2_subset_u : ('a -> 'b -> 'c -> 'c) -> 'a u -> 'b u -> 'c -> 'c

val fold2_subset_with_kind : 
  (Flambda2_kinds.Flambda_kind.t -> 'a -> 'b -> 'c -> 'c) ->
  'a t ->
  'b t ->
  'c ->
  'c

Module Unboxing_analysis.Unboxed_fields