hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.ShowMixfix
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
This module provides show functions for mixfix errors
Synopsis
showTerm :: TERM -> ShowS
showFormula :: FORMULA -> ShowS
Documentation
showTerm :: TERM -> ShowS
shows Terms fully bracketed for mixfix errors
showFormula :: FORMULA -> ShowS
Produced by Haddock version 0.6