Logiweb(TM)

Logiweb aspects of typeNat0( {MissingArg} ) in pyk

Up Help

The predefined "pyk" aspect

define pyk of typeNat0( x ) as text unicode start of text unicode small t unicode small y unicode small p unicode small e unicode capital n unicode small a unicode small t unicode zero unicode left parenthesis unicode space unicode quotation mark unicode space unicode right parenthesis unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of typeNat0( var x ) as text unicode start of text unicode capital t unicode small y unicode small p unicode small e unicode capital n unicode small a unicode small t unicode zero unicode left parenthesis unicode number sign unicode one 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 typeNat0( var x ) as var x term in quote 0 end quote pair quote metavar var v2n end metavar end quote pair quote metavar var m end metavar end quote pair quote metavar var n end metavar end quote pair quote metavar var n end metavar + 1 end quote pair quote metavar var m end metavar + 0 end quote pair quote metavar var m end metavar + metavar var n end metavar end quote pair quote metavar var o end metavar end quote pair quote metavar var p end metavar end quote pair quote metavar var m end metavar + metavar var n end metavar + 1 end quote pair quote metavar var m end metavar + metavar var m1 end metavar end quote pair quote metavar var m end metavar + metavar var n end metavar + 1 end quote pair quote metavar var m1 end metavar end quote pair quote metavar var m2 end metavar end quote pair quote metavar var n1 end metavar end quote pair quote metavar var n2 end metavar end quote pair quote object var var m end var end quote pair quote object var var n end var end quote pair true end define

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-12-15.UTC:00:32:42.052453 = MJD-54084.TAI:00:33:15.052453 = LGT-4672859595052453e-6