{X Y : AlgebraicGeometry.Scheme} →
  (f : X ⟶ Y) →
    [AlgebraicGeometry.QuasiCompact f] →
      [AlgebraicGeometry.QuasiSeparated f] →
        AlgebraicGeometry.Scheme.Cover.RelativeGluingData (AlgebraicGeometry.Scheme.AffineZariskiSite.directedCover Y)