pub type RecGroupId = Id<RecGroup>;
An identifier for recursive type groups.
pub struct RecGroupId { /* private fields */ }