TPDB.Rainbow.Proof.Type

data Vector a

data Matrix a

data MaxPlus

data MinPlus

data Mi_Fun a

data Poly_Fun a

type Matrix_Int

type Polynomial_Int

data Interpretation f

data Domain

data Red_Ord

data Usable_Rules

data Simple_Projection

data Claim

data Proof

data Property

data Function

data Reason

data Over_Graph

data Marked a