What describes functions having antiderivatives of a prescribed form