module EverCrypt.StaticConfig

inline_for_extraction val hacl: bool
inline_for_extraction val vale: bool
inline_for_extraction val openssl: bool
inline_for_extraction val bcrypt: bool