Safe Haskell | None |
---|---|
Language | Haskell2010 |
Calculate the call graph of a theory.
Documentation
flattenBlock :: Block a -> [FS a] Source
theoryStuff :: Theory a -> [FS a] Source
flatCallGraph :: (PrettyVar a, Ord a) => CallGraphOpts -> Theory a -> [[FS a]] Source