Language.Fixpoint.Solver.Prettify
Description
Functions to make environments easier to read
savePrettifiedQuery :: Fixpoint a => Config -> FInfo a -> IO () Source #