module EverCrypt.StaticConfig

inline_for_extraction let hacl = true
inline_for_extraction let vale = false
inline_for_extraction let openssl = false
inline_for_extraction let bcrypt = false