Module `Flambda2_simplify_shared.Are_rebuilding_terms`

Flag indicating whether terms are being rebuilt during simplification. This is not just bool to enforce that the setting in DE is used everywhere.

type t

val print : Format.formatter -> t -> unit

val are_rebuilding : t

val are_not_rebuilding : t

val do_rebuild_terms : t -> bool

val do_not_rebuild_terms : t -> bool

Module Flambda2_simplify_shared.Are_rebuilding_terms

Module `Flambda2_simplify_shared.Are_rebuilding_terms`