hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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