Parameter 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:Ocaml_typing.Shape_reduce.Diagnostics.t ->
unit_name:string ->
Ocaml_typing.Shape.t option