package coq-lsp

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

Module Ser_analysis.LocNamesSource

Sourcetype a = Names.Name.t CAst.t list
Sourceval name : string
Sourceval default : 'a -> 'b list option
Sourceval fold_list : 'a list list -> 'a list
Sourceval fold_option : 'a list option -> 'a list
Sourceval fold_pair : ('a list * 'a list) -> 'a list