Eq-1.0: EqManips/Renderer/Sexpr.hs-boot

module EqManips.Renderer.Sexpr where

import {-# SOURCE #-} EqManips.Types

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