package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | RBRACK
  2. | LBRACK
  3. | RCURL
  4. | LCURL
  5. | SEMICOLON
  6. | COLON
  7. | COMMA
  8. | ASSIGN
  9. | DOTS
  10. | EOF
  11. | CPU
  12. | IMPLEMENTATION
  13. | OIL_VERSION
  14. | AUTO
  15. | NO_DEFAULT
  16. | WITH_AUTO
  17. | BOOLEAN
  18. | STRING
  19. | ENUM
  20. | FLOAT
  21. | INT64
  22. | UINT64
  23. | INT32
  24. | UINT32
  25. | OIL_STRING of string
  26. | NUMBER of int
  27. | OIL_FLOAT of float
  28. | OBJECT of string
  29. | OBJECT_TYPE of string
  30. | BOOL of bool
  31. | NAME of string
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string * string * OilUtil.param_t list) list