Effective Artin-Schreier-Witt theory for curves | Synapse