hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Common.ATerm.ReadWrite
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
Synopsis
readATerm
::
String
->
ATermTable
writeATerm
::
ATermTable
->
String
writeSharedATerm
::
ATermTable
->
String
writeSharedATermSDoc
::
ATermTable
->
SDoc
Produced by
Haddock
version 0.6