pub type ResolvedTypes = HashMap<ResolvedTypeKey, Datatype>;
pub struct ResolvedTypes { /* private fields */ }