Logiweb aspects of rule {MissingArg} subcodex {MissingArg} end rule in pyk

Up Help

The predefined "pyk" aspect

define pyk of rule x subcodex x end rule as text unicode start of text unicode small r unicode small u unicode small l unicode small e unicode space unicode quotation mark unicode space unicode small s unicode small u unicode small b unicode small c unicode small o unicode small d unicode small e unicode small x unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small r unicode small u unicode small l unicode small e unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of rule var c subcodex var p end rule as text unicode start of text unicode newline unicode small r unicode small u unicode small l unicode small e unicode left parenthesis unicode space unicode number sign unicode one unicode period unicode newline unicode comma unicode space unicode number sign unicode two unicode period unicode newline unicode right parenthesis unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of rule var c subcodex var p end rule as var c tagged guard newline let one lambda var s dot newline tagged if var s then quote text unicode start of text unicode capital r unicode small u unicode small l unicode small e unicode space unicode small h unicode small a unicode small s unicode space unicode small n unicode small o unicode space unicode small s unicode small t unicode small a unicode small t unicode small e unicode small m unicode small e unicode small n unicode small t unicode space unicode small a unicode small s unicode small p unicode small e unicode small c unicode small t unicode end of text end unicode text end text end quote else newline tagged if not var s term root equal quote var x infer var y end quote then error two quote unicode start of text unicode capital r unicode small u unicode small l unicode small e unicode space unicode small h unicode small a unicode small s unicode space unicode small i unicode small n unicode small v unicode small a unicode small l unicode small i unicode small d unicode space unicode small s unicode small t unicode small a unicode small t unicode small e unicode small m unicode small e unicode small n unicode small t unicode space unicode small a unicode small s unicode small p unicode small e unicode small c unicode small t unicode end of text end unicode text end quote term var s end error else newline let one lambda var t dot newline tagged if var t then quote text unicode start of text unicode capital t unicode small h unicode small e unicode small o unicode small r unicode small y unicode space unicode small h unicode small a unicode small s unicode space unicode small n unicode small o unicode space unicode small s unicode small t unicode small a unicode small t unicode small e unicode small m unicode small e unicode small n unicode small t unicode space unicode small a unicode small s unicode small p unicode small e unicode small c unicode small t unicode end of text end unicode text end text end quote else newline let one lambda var r dot newline tagged if var r is cardinal then error two quote unicode start of text unicode capital t unicode small h unicode small e unicode space unicode small t unicode small h unicode small e unicode small o unicode small r unicode small y unicode space unicode small d unicode small o unicode small e unicode small s unicode space unicode small n unicode small o unicode small t unicode space unicode small a unicode small s unicode small s unicode small e unicode small r unicode small t unicode space unicode small t unicode small h unicode small e unicode space unicode small g unicode small i unicode small v unicode small e unicode small n unicode space unicode small r unicode small u unicode small l unicode small e unicode end of text end unicode text end quote term var s cut var t end error else newline var s first infer cut var s first init modus dereference and var r end cut end if apply rule one var s second theory var t end rule end let end if apply aspect the statement aspect term var s first cache var c end aspect third end let end if end if apply aspect the statement aspect subcodex var p tail end aspect third end let end define