Module Jkind.Sub_failure_reason
type t = | Axis_disagreement of Ocaml_typing.Jkind_axis.Axis.packed| Layout_disagreement| Constrain_ran_out_of_fuel
Jkind.Sub_failure_reasontype t = | Axis_disagreement of Ocaml_typing.Jkind_axis.Axis.packed| Layout_disagreement| Constrain_ran_out_of_fuel