module EqManips.Renderer.Sexpr where

import {-# SOURCE #-} EqManips.Types

sexprRender :: Formula anyForm -> String
sexprRenderS :: Formula anyForm -> ShowS