Safe Haskell | Safe |
---|
PGIP.GraphQL.Result.Conjecture
Documentation
data Conjecture Source #
Constructors
Conjecture | |
Fields
|
Instances
Data Conjecture Source # | |
Show Conjecture Source # | |
Hets - the Heterogeneous Tool Set
Safe Haskell | Safe |
---|
PGIP.GraphQL.Result.Conjecture
data Conjecture Source #
Constructors
Conjecture | |
Fields
|
Instances
Data Conjecture Source # | |
Show Conjecture Source # | |