jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Tools.EncodeTypes

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 #