Logiweb aspects of function f of * end function in pyk

Up Help

The predefined "pyk" aspect

define pyk of function f of x end function as text unicode start of text unicode small f unicode small u unicode small n unicode small c unicode small t unicode small i unicode small o unicode small n unicode space unicode small f unicode space unicode small o unicode small f unicode space unicode asterisk unicode space unicode small e unicode small n unicode small d unicode space unicode small f unicode small u unicode small n unicode small c unicode small t unicode small i unicode small o unicode small n unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of function f of x end function as text unicode start of text unicode newline unicode small f 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 function f of var x end function as if var x then true else function f of var x apply true end function end if end define