Module Type_shape.Evaluation_diagnostics
val no_diagnostics : Type_shape.Evaluation_diagnostics.tval create_diagnostics : unit -> Type_shape.Evaluation_diagnostics.tval get_reduction_steps : Type_shape.Evaluation_diagnostics.t -> int