Searched refs:destructorSort (Results 1 – 1 of 1) sorted by relevance
1032 unsigned destructorSort = argSorts[i]; in buildTermAlgebraConstructor() local1038 bool isPredicate = destructorSort == Sorts::SRT_BOOL; in buildTermAlgebraConstructor()1045 … : OperatorType::getFunctionType(1, &taSort, destructorSort); in buildTermAlgebraConstructor()