coq-lsp.coq
Protect.Error
This modules reifies Coq side effects into an algebraic structure.
This is obviously very convenient for upper layer programming.
As of today this includes feedback and exceptions.
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
fleche_waterproof
type 'l payload = 'l option * Pp.t
type 'l t = private
| User of 'l payload
| Anomaly of 'l payload