\import AG.RingedLocale
\import Order.Lattice
\import Order.Lattice.CompleteLattice
\import Order.PartialOrder

\record Scheme \extends LocallyRingedLocale
  | isLocallyAffine : top <= Join IsAffineOpen