documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
solve
/
it.unibo.tuprolog.solve.channel
/
InputChannel
/
use
use
open
fun
<
R
>
use
(
function
:
InputChannel
<
T
>
.
(
)
->
R
)
:
R
Runs
function
against this channel,
close
ing it once
function
returns normally (not on exceptions).