Cross Reference: ConjectureKindType.hs
xref
: /
hets
/
GUI
/
ConvertDevToAbstractGraph.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
module
Persistence.Schema.ConjectureKindType
where
import
Database.Persist.TH
data ConjectureKindType = OpenConjecture | Theorem | CounterTheorem
deriving (Show, Read, Eq)
derivePersistField "ConjectureKindType"