module Debug.Vampire (structFor, toGraph, viewExpr, rewriteFile) where

import Debug.Vampire.Visualize
import Debug.Vampire.Rewrite