//! Creusot verification proofs for contract types.

#![cfg(feature = "verify-creusot")]

// Successfully migrated to Creusot 0.9
pub mod bools;
pub mod integers;

// TODO: Migrate these to Creusot 0.9 syntax
// pub mod chars;
// pub mod collections;
// pub mod durations;
// pub mod floats;
// pub mod mechanisms;
// pub mod regexes;
// pub mod strings;
// pub mod urls;
