toLogicError
fun toLogicError(context: ExecutionContext, signature: Signature, culprit: Term, index: Int): LogicError
Converts this exception into a LogicError, namely a type_error(url, Culprit) at argument index of signature.
Converts this exception into a LogicError, namely a type_error(url, Culprit) at argument index of signature.