Portability | non-portable (imports ATerm.AbstractSyntax) |
---|---|
Stability | provisional |
Maintainer | Christian.Maeder@dfki.de |
conversion between shared and (basically unused) unshared ATerm
s
Documentation
fromATerm :: ShATermConvertible t => ATerm -> tSource
fromShATerm :: ShATermConvertible t => ATermTable -> tSource