pub type ResolvedBoolTypeRef = Rc<ResolvedBoolType>;
struct ResolvedBoolTypeRef { /* private fields */ }