OccurCheckException

fun OccurCheckException(term1: Term, term2: Term, innerVar: Var, innerTerm: Term)

Content copied to clipboard

fun OccurCheckException(term1: Term, term2: Term, innerVar: Var, innerTerm: Term, other: Throwable?)

Content copied to clipboard