Documented synthdeftools.Op.