Logiweb aspects of false test {MissingArg} end test in pyk

Up Help

The predefined "pyk" aspect

define pyk of false test x end test as text unicode start of text unicode small f unicode small a unicode small l unicode small s unicode small e unicode space unicode small t unicode small e unicode small s unicode small t unicode space unicode quotation mark 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 false test var 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 hyphen unicode right brace unicode space unicode end of text end unicode text end text end define

The predefined "claim" aspect

define claim of false test var x 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 var t else true end if end define