packages feed

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