Text this: Line antiderivations over local fields and their applications