trait AstFormatter = Formatter<TypeDeclId>
+ Formatter<FunDeclId>
+ Formatter<GlobalDeclId>
+ Formatter<TraitDeclId>
+ Formatter<TraitImplId>
+ Formatter<AnyTransId>
+ Formatter<RegionDbVar>
+ Formatter<TypeDbVar>
+ Formatter<ConstGenericDbVar>
+ Formatter<ClauseDbVar>
+ Formatter<VarId>
+ Formatter<(TypeDeclId, VariantId)>
+ Formatter<(TypeDeclId, Option<VariantId>, FieldId)>
+ for<'a> Formatter<&'a ImplElem>
+ for<'a> Formatter<&'a RegionVar>
+ for<'a> Formatter<&'a Vector<BlockId, BlockData>>
+ for<'a> Formatter<&'a Block>
+ for<'a> SetGenerics<'a>
+ for<'a> SetLocals<'a>
+ for<'a> PushBinder<'a>;