mod bool_match_bug;
mod filter;
mod import_test;
mod main_example_nat;
mod main_example_set;
mod minimal;
mod minimal_polymorphic;
mod minimal_filter;
mod annotate_multi;
mod recursive;
mod nat;
mod nat_u32;
mod sets;
mod sets_using_alias;
mod sum;
mod sum_small;
mod type_parameter_sets;