module Language.Eq.Renderer.Sexpr where

import {-# SOURCE #-} Language.Eq.Types

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