[Lean] Print opaque types #1714
Description
Opaque types are "abstract types" that appear in the AST but are unsupported by the Lean backend for now.
{{ message }}
Opaque types are "abstract types" that appear in the AST but are unsupported by the Lean backend for now.