solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.primitive
/
TypeEnsurer
/
ensureType
ensure
Type
common
abstract
fun
Solve.Request
<
E
>
.
ensureType
(
context
:
E
,
term
:
<ERROR CLASS>
)
Content copied to clipboard