Skip to content

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS #10

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS #10