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