common/dev.ust.zinc.grader.util/ThrowableSummary/Companion/toSummary

toSummary

fun Throwable.toSummary(): ThrowableSummary

Converts this into a ThrowableSummary