coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard
verified publisher icon JasonGross

Add passes to remove opaque module type ascriptions

Open JasonGross opened this issue 2 years ago • 0 comments

(meanwhile opaque constraints could be turned into Module Foo. Include constraint. End Foo. or removed)

Originally posted by @SkySkimmer in https://github.com/JasonGross/coq-tools/issues/148#issuecomment-1472250687

JasonGross avatar May 04 '23 20:05 JasonGross