Libraries.Synthesis.Ring
class Ring a
class HalfRing a
class RootTwoRing a
class RootHalfRing a
class ComplexRing a
class OmegaRing a
class Adjoint a
class Adjoint2 a
class NormedRing r
class Floor r
data Z2
data Dyadic
data Rationals
data RootTwo a
type DInteger
type DReal
type EReal
data Cplx a
type ZComplex
type DComplex
type EComplex
type CDouble
type CFloat
data Omega a
type ZOmega
type DOmega
type QOmega
class ToDyadic a b
class RealPart a b
class WholePart a b
class DenomExp a
class ToEComplex a
class Parity a