define pyk of x data equal x as text unicode start of text unicode asterisk unicode space unicode small d unicode small a unicode small t unicode small a 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 data 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 d 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 data equal var y as var x is cardinal select tagged if var y is cardinal then var x cardinal equal var y else false end if else tagged if var y is cardinal then false else var x peano equal var y end if end select end define
The pyk compiler, version 0.grue.20060417 by Klaus Grue,