solve/it.unibo.tuprolog.solve.exception.error/TypeError/Companion/forArgument

forArgument

@JvmStatic
fun forArgument(    context: ExecutionContext,     procedure: Signature,     expectedType: TypeError.Expected,     culprit: <ERROR CLASS>,     index: Int? = null): TypeError
Content copied to clipboard