pyk.prelude.utils module
¶
token
(
x
:
bool
|
int
|
str
|
bytes
)
→
KToken
[source]
¶
pyk
Navigation
Contents:
pyk
pyk package
Related Topics
Documentation overview
pyk
pyk package
pyk.prelude package
Previous:
pyk.prelude.string module
Next:
pyk.proof package
Quick search