define pyk of x cardinal equal x as text unicode start of text unicode asterisk unicode space unicode small c unicode small a unicode small r unicode small d unicode small i unicode small n unicode small a unicode small l unicode space unicode small e unicode small q unicode small u unicode small a unicode small l unicode space unicode asterisk unicode end of text end unicode text end text end define
define tex of x cardinal equal x as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small s unicode small t unicode small a unicode small c unicode small k unicode small r unicode small e unicode small l unicode space unicode left brace unicode capital c unicode right brace unicode left brace unicode backslash unicode small a unicode small p unicode small p unicode small r unicode small o unicode small x unicode space unicode right brace unicode number sign unicode two unicode period unicode end of text end unicode text end text end define
define value of var x cardinal equal var y as var x is singular select tagged if var y is singular then true else false end if else tagged if var y is singular then false else ( var x head boolean equal ( var y head ) ) and ( var x tail cardinal equal ( var y tail ) ) end if end select end define
The pyk compiler, version 0.grue.20050603 by Klaus Grue,