fact: Record int_adapt e (ip : intP) (itt : intt) : Prop := {adapt_trm_in_int : trm_in_int e ip itt; int_can_adapt : can_adapt ip; adapt_class_equal : cls_of_int ip = class_env e}.
imports: Termes Conv Types Class Can Int_term Int_typ Int_stab