Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

HasCASL.ATC_HasCASL

Contents

Description

Orphan instances

ShATermConvertible PrecMap Source # 

Methods

toShATermAux :: ATermTable -> PrecMap -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PrecMap] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PrecMap)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrecMap])

ShATermConvertible SymbOrMap Source # 

Methods

toShATermAux :: ATermTable -> SymbOrMap -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbOrMap] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbOrMap)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbOrMap])

ShATermConvertible SymbType Source # 

Methods

toShATermAux :: ATermTable -> SymbType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbType])

ShATermConvertible Symb Source # 

Methods

toShATermAux :: ATermTable -> Symb -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Symb] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Symb)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symb])

ShATermConvertible SymbKind Source # 

Methods

toShATermAux :: ATermTable -> SymbKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbKind])

ShATermConvertible SymbMapItems Source # 

Methods

toShATermAux :: ATermTable -> SymbMapItems -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbMapItems] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbMapItems)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbMapItems])

ShATermConvertible SymbItems Source # 

Methods

toShATermAux :: ATermTable -> SymbItems -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbItems] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbItems)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbItems])

ShATermConvertible GenVarDecl Source # 

Methods

toShATermAux :: ATermTable -> GenVarDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GenVarDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GenVarDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenVarDecl])

ShATermConvertible TypeArg Source # 

Methods

toShATermAux :: ATermTable -> TypeArg -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeArg] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeArg)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeArg])

ShATermConvertible VarKind Source # 

Methods

toShATermAux :: ATermTable -> VarKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarKind])

ShATermConvertible VarDecl Source # 

Methods

toShATermAux :: ATermTable -> VarDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDecl])

ShATermConvertible SeparatorKind Source # 

Methods

toShATermAux :: ATermTable -> SeparatorKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SeparatorKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SeparatorKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SeparatorKind])

ShATermConvertible PolyId Source # 

Methods

toShATermAux :: ATermTable -> PolyId -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PolyId] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PolyId)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PolyId])

ShATermConvertible ProgEq Source # 

Methods

toShATermAux :: ATermTable -> ProgEq -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ProgEq] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ProgEq)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProgEq])

ShATermConvertible Term Source # 

Methods

toShATermAux :: ATermTable -> Term -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Term] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Term)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Term])

ShATermConvertible InstKind Source # 

Methods

toShATermAux :: ATermTable -> InstKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [InstKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, InstKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [InstKind])

ShATermConvertible BracketKind Source # 

Methods

toShATermAux :: ATermTable -> BracketKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BracketKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BracketKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BracketKind])

ShATermConvertible LetBrand Source # 

Methods

toShATermAux :: ATermTable -> LetBrand -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [LetBrand] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, LetBrand)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [LetBrand])

ShATermConvertible TypeQual Source # 

Methods

toShATermAux :: ATermTable -> TypeQual -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeQual] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeQual)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeQual])

ShATermConvertible Quantifier Source # 

Methods

toShATermAux :: ATermTable -> Quantifier -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Quantifier] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Quantifier)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Quantifier])

ShATermConvertible Component Source # 

Methods

toShATermAux :: ATermTable -> Component -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Component] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Component)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Component])

ShATermConvertible Alternative Source # 

Methods

toShATermAux :: ATermTable -> Alternative -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Alternative] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Alternative)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Alternative])

ShATermConvertible DatatypeDecl Source # 

Methods

toShATermAux :: ATermTable -> DatatypeDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [DatatypeDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, DatatypeDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [DatatypeDecl])

ShATermConvertible OpAttr Source # 

Methods

toShATermAux :: ATermTable -> OpAttr -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpAttr] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpAttr)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpAttr])

ShATermConvertible BinOpAttr Source # 

Methods

toShATermAux :: ATermTable -> BinOpAttr -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BinOpAttr] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BinOpAttr)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BinOpAttr])

ShATermConvertible OpItem Source # 

Methods

toShATermAux :: ATermTable -> OpItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpItem])

ShATermConvertible Partiality Source # 

Methods

toShATermAux :: ATermTable -> Partiality -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Partiality] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Partiality)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Partiality])

ShATermConvertible TypeScheme Source # 

Methods

toShATermAux :: ATermTable -> TypeScheme -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeScheme] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeScheme)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeScheme])

ShATermConvertible Type Source # 

Methods

toShATermAux :: ATermTable -> Type -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Type] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Type)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type])

ShATermConvertible TypePattern Source # 

Methods

toShATermAux :: ATermTable -> TypePattern -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypePattern] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypePattern)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypePattern])

ShATermConvertible Vars Source # 

Methods

toShATermAux :: ATermTable -> Vars -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Vars] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Vars)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vars])

ShATermConvertible TypeItem Source # 

Methods

toShATermAux :: ATermTable -> TypeItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeItem])

ShATermConvertible Variance Source # 

Methods

toShATermAux :: ATermTable -> Variance -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Variance] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Variance)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Variance])

ShATermConvertible ClassDecl Source # 

Methods

toShATermAux :: ATermTable -> ClassDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClassDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassDecl])

ShATermConvertible ClassItem Source # 

Methods

toShATermAux :: ATermTable -> ClassItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClassItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassItem])

ShATermConvertible Instance Source # 

Methods

toShATermAux :: ATermTable -> Instance -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Instance] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Instance)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Instance])

ShATermConvertible OpBrand Source # 

Methods

toShATermAux :: ATermTable -> OpBrand -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpBrand] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpBrand)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpBrand])

ShATermConvertible SigItems Source # 

Methods

toShATermAux :: ATermTable -> SigItems -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SigItems] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SigItems)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SigItems])

ShATermConvertible BasicItem Source # 

Methods

toShATermAux :: ATermTable -> BasicItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BasicItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicItem])

ShATermConvertible BasicSpec Source # 

Methods

toShATermAux :: ATermTable -> BasicSpec -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BasicSpec] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicSpec)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicSpec])

ShATermConvertible RawSymbol Source # 

Methods

toShATermAux :: ATermTable -> RawSymbol -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RawSymbol] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RawSymbol)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RawSymbol])

ShATermConvertible Symbol Source # 

Methods

toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])

ShATermConvertible SymbolType Source # 

Methods

toShATermAux :: ATermTable -> SymbolType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbolType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolType])

ShATermConvertible Morphism Source # 

Methods

toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])

ShATermConvertible Constrain Source # 

Methods

toShATermAux :: ATermTable -> Constrain -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Constrain] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Constrain)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constrain])

ShATermConvertible Env Source # 

Methods

toShATermAux :: ATermTable -> Env -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Env] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Env)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Env])

ShATermConvertible OpInfo Source # 

Methods

toShATermAux :: ATermTable -> OpInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpInfo])

ShATermConvertible OpDefn Source # 

Methods

toShATermAux :: ATermTable -> OpDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpDefn])

ShATermConvertible ConstrInfo Source # 

Methods

toShATermAux :: ATermTable -> ConstrInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ConstrInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstrInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstrInfo])

ShATermConvertible VarDefn Source # 

Methods

toShATermAux :: ATermTable -> VarDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDefn])

ShATermConvertible TypeVarDefn Source # 

Methods

toShATermAux :: ATermTable -> TypeVarDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeVarDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeVarDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeVarDefn])

ShATermConvertible Sentence Source # 

Methods

toShATermAux :: ATermTable -> Sentence -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sentence] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sentence)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sentence])

ShATermConvertible TypeInfo Source # 

Methods

toShATermAux :: ATermTable -> TypeInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeInfo])

ShATermConvertible TypeDefn Source # 

Methods

toShATermAux :: ATermTable -> TypeDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeDefn])

ShATermConvertible DataEntry Source # 

Methods

toShATermAux :: ATermTable -> DataEntry -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [DataEntry] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, DataEntry)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataEntry])

ShATermConvertible Selector Source # 

Methods

toShATermAux :: ATermTable -> Selector -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Selector] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Selector)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Selector])

ShATermConvertible AltDefn Source # 

Methods

toShATermAux :: ATermTable -> AltDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AltDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AltDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AltDefn])

ShATermConvertible GenKind Source # 

Methods

toShATermAux :: ATermTable -> GenKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GenKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GenKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenKind])

ShATermConvertible ClassInfo Source # 

Methods

toShATermAux :: ATermTable -> ClassInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClassInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassInfo])

ShATermConvertible Sublogic Source # 

Methods

toShATermAux :: ATermTable -> Sublogic -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sublogic] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sublogic)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sublogic])

ShATermConvertible Classes Source # 

Methods

toShATermAux :: ATermTable -> Classes -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Classes] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Classes)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Classes])

ShATermConvertible Formulas Source # 

Methods

toShATermAux :: ATermTable -> Formulas -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Formulas] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Formulas)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Formulas])

ShATermConvertible a => ShATermConvertible (AnyKind a) Source # 

Methods

toShATermAux :: ATermTable -> AnyKind a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AnyKind a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AnyKind a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnyKind a])