FamInst

checkFamInstConsistency

tcExtendLocalFamInstEnv

tcLookupFamInst

tcLookupDataFamInst

tcGetFamInstEnvs