Boltzmann.Data.Oracle
data DataDef m
data C
data AC
type C'
data Aliased
type Ix
data Nat
natToInt
infinity
dataDef
collectTypes
primOrder
primOrder'
primlCoef
type GUnfold m
type AMap m
collectTypesM
chaseType
traverseType
traverseType'
lPlus
lSum
lMul
lProd
maxDegree
point
type Oracle
makeOracle
phi
type Generators m
makeGenerators
type SmallGenerators m
smallGenerators
generate
defGen
(?)
listCs
ix
(?!)
getGenerator
getSmallGenerator
(#!)