Given a (K-theory or cohomology) class in a ring defined by setupCotangent with the options Presentation => Borel and Equivariance => true, this function computes its restriction to fixed points (effectively, giving the class as would be produced by the option Presentation => EquivLoc).
The object restrict is a method function.
The source of this document is in CotangentSchubert.m2:398:0.