Add a syntactic sugar to easily get the current implicit Domain.
An implicit conversion from A
to Domain[A].Ops
, which allows the seamsless
use of the infix operators.
An implicit domain obtained by an ordering, taking the max to be the upper bound operator.
An implicit domain obtained by an ordering, taking the max to be the upper bound operator.