solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.exception.error
/
TypeError
/
Companion
/
forGoal
for
Goal
common
@
JvmStatic
fun
forGoal
(
context
:
ExecutionContext
,
procedure
:
Signature
,
expectedType
:
TypeError.Expected
,
culprit
:
<ERROR CLASS>
)
:
TypeError
Content copied to clipboard