jukebox-0.2.13: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Monotonox.ToFOF

Documentation

data Scheme Source #

Constructors

Scheme 

Fields

data Scheme1 Source #

Constructors

Scheme1 

tags1 :: Bool -> (Type -> Bool) -> (Type -> Function) -> Scheme1 Source #

naked :: Symbolic a => Bool -> Variable -> a -> Bool Source #