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.
val print :
Stdlib.Format.formatter ->
Flambda2_simplify_shared.Are_rebuilding_terms.t ->
unitval are_rebuilding : Flambda2_simplify_shared.Are_rebuilding_terms.tval are_not_rebuilding : Flambda2_simplify_shared.Are_rebuilding_terms.tval do_rebuild_terms : Flambda2_simplify_shared.Are_rebuilding_terms.t -> boolval do_not_rebuild_terms :
Flambda2_simplify_shared.Are_rebuilding_terms.t ->
bool