Eq-1.1.1: Language/Eq/Renderer/Sexpr.hs-boot
module Language.Eq.Renderer.Sexpr where
import {-# SOURCE #-} Language.Eq.Types
sexprRender :: Formula anyForm -> String
sexprRenderS :: Formula anyForm -> ShowS
module Language.Eq.Renderer.Sexpr where
import {-# SOURCE #-} Language.Eq.Types
sexprRender :: Formula anyForm -> String
sexprRenderS :: Formula anyForm -> ShowS