Searched refs:domain_sort (Results 1 – 4 of 4) sorted by relevance
57 res->domain_sort = domain; in TypeAlloc()473 res = t1->domain_sort - t2->domain_sort; in TypeCompare()535 SortPrintTSTP(out, table->sort_table, type->domain_sort); in TypePrintTSTP()555 SortPrintTSTP(out, table->sort_table, type->domain_sort); in TypePrintTSTP()
120 || term->sort != type->domain_sort) in TypeCheckConsistent()207 term->sort = type->domain_sort; in TypeInferSort()
324 return type && type->domain_sort == STBool; in SigIsPredicate()353 return type && type->domain_sort != STBool; in SigIsFunction()1341 assert(type->domain_sort != STNoSort); in SigDeclareIsFunction()1344 if(type->domain_sort == STBool) in SigDeclareIsFunction()1377 assert(type->domain_sort != STNoSort); in SigDeclareIsPredicate()1380 if(type->domain_sort != STBool) in SigDeclareIsPredicate()1477 if(type->domain_sort != STKind) in SigParseTFFTypeDeclaration()
40 SortType domain_sort; /* domain sort, ie the sort returned by a function */ member