Module `Flambda2_terms.Loopify_attribute`

type t =

val print : 
  Stdlib.Format.formatter ->
  Flambda2_terms.Loopify_attribute.t ->
  unit

val should_loopify : Flambda2_terms.Loopify_attribute.t -> bool

val was_loopified : Flambda2_terms.Loopify_attribute.t -> bool

val equal : 
  Flambda2_terms.Loopify_attribute.t ->
  Flambda2_terms.Loopify_attribute.t ->
  bool

Module Flambda2_terms.Loopify_attribute