[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: (Aucun)


=>   ({tree}:atom_replace
=>    ({tree}:make ({name}:operator 'unsigned_integer ({name}:formalism 'L)))
=>    1992)

Try instead:

    ({tree}:atom_replace
     ({tree}:make ({name}:operator 'unsigned_integer ({name}:formalism 'L)))
     ({number}:make 1992))

METAL ``implemented as INTEGER'' corresponds to VTP class ``{number}''.
Connection of METAL ``implemented as'' to VTP classes seems to be missing
in the doc... See however the VTP manual, pp 6-7, for the class {number}.

Renaud