jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Tools.GuessModel

Documentation

data Universe Source #

Constructors

Peano 
Trees 

ind :: Symbolic a => a -> Type Source #

rhss :: [Function] -> [Term] -> Function -> Bool -> Form -> [Form] Source #

cases :: [Function] -> [Type] -> NameM [[Term]] Source #