Occur
fun OccurCheckException( term1: <ERROR CLASS>, term2: <ERROR CLASS>, innerVar: <ERROR CLASS>, innerTerm: <ERROR CLASS>)
Content copied to clipboard
fun OccurCheckException( term1: <ERROR CLASS>, term2: <ERROR CLASS>, innerVar: <ERROR CLASS>, innerTerm: <ERROR CLASS>, other: Throwable?)
Content copied to clipboard