Function fused_state_decl 

pub fn fused_state_decl(folds: &[(Arc<str>, Ty)]) -> TyDecl

The synthetic accumulator a program with several durable folds is compiled to.

One field per fold, named for the signal that declared it — so beck explain flow and a diagnostic can say $State.counts and mean something the programmer wrote.