package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | NULL
  2. | TRUE
  3. | FALSE
  4. | STRING of string
  5. | INT of int
  6. | FLOAT of float
  7. | LEFT_BRACK
  8. | RIGHT_BRACK
  9. | LEFT_BRACE
  10. | RIGHT_BRACE
  11. | COMMA
  12. | COLON
  13. | EOF
module CAst : sig ... end
type lstring = string CAst.t
type value_r =
  1. | Assoc of (lstring * value) list
  2. | Bool of bool
  3. | Float of float
  4. | Int of int
  5. | List of value list
  6. | Null
  7. | String of string
and value = value_r CAst.t
val find : 'a -> ('b CAst.t * 'c) list -> 'd option