[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 between VTP classes and METAL ``implemented as'' seems
to be missing in the doc...  See however VTP manual, pp 6-7, about
class {number}.

Renaud