Language.Fixpoint.Files

Hardwired file extension names

data Ext

extFileName

extFileNameR

tempDirectory

extModuleName

withExt

isExtFile

Hardwired paths

getFixpointPath

getZ3LibPath

Various generic utility functions for finding and removing files

getFileInDirs

copyFiles