|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
makeFC()
und unify()
ben�tigt wird,
zum Erzeugen einer TyplosenVariable
, die nicht in der zentralen Registry eingetragen
wird.
makeFC()
und unify()
ben�tigt wird,
um neue typlose Variablen zu erzeugen.
makeFC()
und unify()
ben�tigt wird,
um den Namen einer typlosen Variablen zu ver�ndern.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |