Logiweb aspects of raw test * end test in pyk

Up Help

The predefined "pyk" aspect

define pyk of raw test var t end test as text unicode start of text unicode small r unicode small a unicode small w unicode space 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 raw 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 i unicode small r unicode small c unicode right brace unicode space unicode end of text end unicode text end text end define

The predefined "claim" aspect

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