A generalization bound for a family of implicit networks | Synapse