typealias IntExpressibleAlgebraicField = Addable & Subtractable & Multipliable & Divisible & Negatable & ExpressibleByIntegerLiteral & Hashable & Absolutableimport Utilsprotocol Addableprotocol Subtractableprotocol Multipliableprotocol Divisibleprotocol NegatableDescribes a (signed) type that has an additive inverse.
protocol ExpressibleByIntegerLiteralA type that can be initialized with an integer literal.
protocol Hashable : EquatableA type that can be hashed into a Hasher to produce an integer hash value.
protocol Absolutable