jon.recoil.org

Module Flambda2_terms.Loopify_attribute

type t =
  1. | Always_loopify
  2. | Never_loopify
  3. | Already_loopified
  4. | Default_loopify_and_tailrec
  5. | Default_loopify_and_not_tailrec
val print : Format.formatter -> t -> unit
val should_loopify : t -> bool
val was_loopified : t -> bool
val equal : t -> t -> bool