solve/it.unibo.tuprolog.solve.exception.error/TypeError/expectedType

expectedType

val expectedType: TypeError.Expected
Content copied to clipboard

Parameters

expectedType

The type expected, that wouldn't have raised the error