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
/
port
port
jvm
open
override
val
port
:
Int
?
The port component of this
Url
, or
null
if unspecified.