jon.recoil.org

Module Jkind0.Violation

module Sub_failure_reason : sig ... end
type violation =
  1. | Not_a_subjkind : (Allowance.allowed * 'r1) Types.jkind * ('l * 'r2) Types.jkind * Sub_failure_reason.t list -> violation
  2. | No_intersection : 'd Types.jkind * ('l * Allowance.allowed) Types.jkind -> violation
type nonrec t = {
  1. violation : violation;
  2. missing_cmi : Path.t option;
}