jon.recoil.org

Module Jkind.Sub_failure_reasonSource

Sourcetype t = Jkind0.Violation.Sub_failure_reason.t =
  1. | Axis_disagreement of Jkind_axis.Axis.packed
  2. | Layout_disagreement
  3. | With_bounds_on_left
  4. | Constrain_ran_out_of_fuel