jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Tools.InferTypes

Documentation

type Function' = ([(Name, Type)], (Name, Type)) Source #