documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
documentation
io-lib
/
it.unibo.tuprolog.solve.libs.io
/
JvmUrl
/
url
url
jvm
val
url
:
URL
Parameters
url
the wrapped platform URL; see
toUrl
/
toURL
for conversions between it and
Url
.