FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

extraction: krml: check for CInline attribute in letbindings, set an inlining flag in the binder

Open mtzguido opened this issue 1 year ago • 0 comments

mtzguido avatar Aug 27 '24 06:08 mtzguido