Doc.Completion
type t = private
| Yes of Lang.Range.t
Location of the last token in the document
*)| Stopped of Lang.Range.t
Location of the last valid token
*)| Failed of Lang.Range.t
Critical failure, like an anomaly
*)| FailedPermanent of Lang.Range.t
Temporal Coq hack, avoids any computation
*)val is_completed : t -> bool