define pyk of verifier as text unicode start of text unicode small v unicode small e unicode small r unicode small i unicode small f unicode small i unicode small e unicode small r unicode end of text end unicode text end text end define
define value of verifier as lambda var t dot lambda var c dot verify one var c end verify end define
The pyk compiler, version 0.grue.20050603 by Klaus Grue,