Make._val fuel : unit -> Ocaml_utils.Misc_stdlib.Maybe_bounded.tval fuel_for_compilation_units :
unit ->
Ocaml_utils.Misc_stdlib.Maybe_bounded.tval max_shape_reduce_steps_per_variable :
unit ->
Ocaml_utils.Misc_stdlib.Maybe_bounded.tval max_compilation_unit_depth :
unit ->
Ocaml_utils.Misc_stdlib.Maybe_bounded.tval read_unit_shape :
diagnostics:Diagnostics.t ->
unit_name:string ->
Shape.t option