package coq-lsp

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

Module Main.GATSource

Sourcetype a = int
Sourceval name : string
Sourceval default : 'a -> int option
Sourceval fold_list : int list -> int
Sourceval fold_option : int option -> int
Sourceval fold_pair : (int * int) -> int