Test.Speculate.Engine
vassignments
expansions
mostGeneral
mostSpecific
theoryAndRepresentativesFromAtoms
theoryFromAtoms
equivalencesBetween
consider
distinctFromSchemas
classesFromSchemas
semiTheoryFromThyAndReps
conditionalTheoryFromThyAndReps
conditionalEquivalences
subConsequence
psortBy