Hermes: A Tutorial and Reference Manual - Researcher - IBM

accuracy against andy assert drop elsey AppendixA.HermesConcreteSyntax137
attributename beginy empty endy enumerationminimumreveal is keys linking merge block evaluatey remove
boolean eventy every moduleidsend new repeat
nominal return
callmessage case exception noty select
checkdenitionsfalse connect exists exit of ony size
constant extract table
constraint ordered theny
convert otherwiseytypestate to
copy forall outport true
create from hide if polymorphunite position pragmay print typename uniquey unwrap using
TABLEA.1.Hermeskeywords.Reservedwordsaremarkedwithadagger(y). Reservedwordscannotbeusedasidentiers. currentprogramyinport declare denitions discard dissolve insert inspect integer into procedurewherey processy real receive record variant while
({varioususes {{typestatedelimiter}typestatedelimiter )varioususesothersy
,{listseparator !{modulequalier .{componentselection{casedeclaration ={equal =greaterorequal *multiply -minus