# Documentation

Lean.Server.FileWorker.Utils

Equations
• One or more equations did not get rendered due to their size.
Equations
• ref :
Instances For
def Lean.Server.FileWorker.CancelToken.check {m : } [inst : ] [inst : ] :
Equations
Equations

A document editable in the sense that we track the environment and parser state after each command so that edits can be applied without recompiling code appearing earlier in the file.

Instances For
• The IO.monoMsNow time when the session expires. See \$/lean/rpc/keepAlive.

expireTime : Nat
Instances For
Equations
• One or more equations did not get rendered due to their size.
Equations
• = { objects := s.objects, expireTime := }
Equations