Logiweb aspects of test * end test in pyk

Up Help

The predefined "pyk" aspect

define pyk of test var t end test as text unicode start of text unicode small t unicode small e unicode small s unicode small t unicode space unicode asterisk unicode space unicode small e unicode small n unicode small d unicode space unicode small t unicode small e unicode small s unicode small t unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of test x end test as text unicode start of text unicode newline unicode backslash unicode small r unicode small e unicode small l unicode small a unicode small x unicode space unicode left bracket unicode space unicode number sign unicode one unicode period unicode newline unicode backslash unicode small r unicode small e unicode small l unicode small a unicode small x unicode space unicode right bracket unicode circumflex unicode left brace unicode backslash unicode small c unicode small d unicode small o unicode small t unicode right brace unicode space unicode end of text end unicode text end text end define

The predefined "claim" aspect

define claim of test var t end test as lambda var t dot lambda var c dot if map untag eval var t first stack true cache var c end eval end untag then true else var t end if end define