package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Interp.RequireSource

Interpretation of "require". We wrap this function for two reasons:

  • to make the read-effect dependency explicit
  • to workaround the lack of a pure interface in Coq