Parameter Make._
val fuel : unit -> Misc.Maybe_bounded.tval fuel_for_compilation_units : unit -> Misc.Maybe_bounded.tval max_shape_reduce_steps_per_variable : unit -> Misc.Maybe_bounded.tval max_compilation_unit_depth : unit -> Misc.Maybe_bounded.tval read_unit_shape :
diagnostics:Shape_reduce.Diagnostics.t ->
unit_name:string ->
Shape.t option