Cohomological Theory of Crystals over Function Fields