Module Flambda2_terms.Recursive

type t =
  1. | Non_recursive
  2. | Recursive
val print : Format.formatter -> t -> unit
val equal : t -> t -> bool