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