Function getBuiltInFunctionsSorts

libsolidity/formal/PredicateSort.cpp:122–127

}

std::vector<SortPointer> getBuiltInFunctionsSorts(SymbolicState& _state)
{
	if (_state.hasBytesConcatFunction())
		return {_state.abiSort(), _state.bytesConcatSort(), _state.cryptoSort()};
	return {_state.abiSort(), _state.cryptoSort()};
}
}