carl
24.04
Computer ARithmetic Library
|
#include <ostream>
#include <type_traits>
#include <utility>
Go to the source code of this file.
Data Structures | |
class | carl::Sort |
Implements a sort (for defining types of variables and functions). More... | |
struct | std::hash< carl::Sort > |
Implements std::hash for sort. More... | |
Namespaces | |
carl | |
carl is the main namespace for the library. | |
Functions | |
bool | carl::operator== (Sort lhs, Sort rhs) |
bool | carl::operator!= (Sort lhs, Sort rhs) |
bool | carl::operator< (Sort lhs, Sort rhs) |
Checks whether one sort is smaller than another. More... | |