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