package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type loc = Stdlib.Lexing.position * Stdlib.Lexing.position
type token =
  1. | UNDERSCORE of loc
  2. | TYPE of loc
  3. | KW_DEF of loc
  4. | KW_DEFAC of loc
  5. | KW_DEFACU of loc
  6. | KW_THM of loc
  7. | KW_INJ of loc
  8. | KW_PRV of loc
  9. | RIGHTSQU
  10. | RIGHTPAR
  11. | RIGHTBRA
  12. | QID of loc * DkBasic.mident * DkBasic.ident
  13. | NAME of loc * DkBasic.mident
  14. | REQUIRE of loc * DkBasic.mident
  15. | LONGARROW
  16. | LEFTSQU
  17. | LEFTPAR
  18. | LEFTBRA
  19. | ID of loc * DkBasic.ident
  20. | FATARROW
  21. | EOF
  22. | DOT
  23. | DEF
  24. | COMMA
  25. | COLON
  26. | CCOLON
  27. | EQUAL
  28. | ARROW
  29. | EVAL of loc
  30. | INFER of loc
  31. | CHECK of loc
  32. | ASSERT of loc
  33. | CHECKNOT of loc
  34. | ASSERTNOT of loc
  35. | PRINT of loc
  36. | GDT of loc
  37. | STRING of string
  38. | INT of int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct