compiler-libs.common
Jkind.Sub_failure_reason
compiler-libs.bytecomp
compiler-libs.optcomp
compiler-libs.toplevel
dynlink
eval
jit
runtime_events
stdlib
stdlib_alpha
stdlib_beta
stdlib_stable
stdlib_upstream_compatible
str
threads
unix
type t = Jkind0.Violation.Sub_failure_reason.t =
| Axis_disagreement of Jkind_axis.Axis.packed
| Layout_disagreement
| With_bounds_on_left
| Constrain_ran_out_of_fuel