pub fn trait_decl(trait_def: &TraitDef) -> TraitDecl