Type Definition rtfm_syntax::analyze::SyncTypes

type SyncTypes = BTreeMap<Core, Set<Box<Type>>>;

These types must implement the Sync trait