Module Jkind.Sub_failure_reason

type t =
  1. | Axis_disagreement of Jkind_axis.Axis.packed
  2. | Layout_disagreement
  3. | Constrain_ran_out_of_fuel