IndTyping.NotPrimRecordReason
type t =
| MustNotBeSquashed
| MustHaveRelevantProj
| MustHaveProj
| MustNotHaveAnonProj