Package aterm :: Module types
[frames] | no frames]

Module types



Term types constants.

Functions
 
isInt(term)
Integer term type verifier.
 
isReal(term)
Real term type verifier.
 
isStr(term)
String term type verifier.
 
isLit(term)
Literal term type verifier.
 
isNil(term)
Empty list term type verifier.
 
isCons(term)
List construction term type verifier.
 
isList(term)
List term type verifier.
 
isAppl(term)
Application term type verifier.
Variables
  INT = 0x01
  REAL = 0x02
  STR = 0x04
  NIL = 0x08
  CONS = 0x10
  APPL = 0x20
  LIT = INT | REAL | STR
  LIST = NIL | CONS