Don't generate static-inline prototypes for functions that are covered by library (already the case for types and macros)
Don't generate static-inline prototypes for functions that are covered by library (already the case for types and macros)

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin