package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | TYPE of Logic.Abstract_syntax.Abstract_syntax.location
  2. | SYMBOL of string * Logic.Abstract_syntax.Abstract_syntax.location
  3. | SIG_OPEN of Logic.Abstract_syntax.Abstract_syntax.location
  4. | SEMICOLON of Logic.Abstract_syntax.Abstract_syntax.location
  5. | RSQBRACKET of Logic.Abstract_syntax.Abstract_syntax.location
  6. | RPAREN of Logic.Abstract_syntax.Abstract_syntax.location
  7. | PREFIX of Logic.Abstract_syntax.Abstract_syntax.location
  8. | NL_LEX_OPEN of Logic.Abstract_syntax.Abstract_syntax.location
  9. | LSQBRACKET of Logic.Abstract_syntax.Abstract_syntax.location
  10. | LPAREN of Logic.Abstract_syntax.Abstract_syntax.location
  11. | LIN_ARROW of Logic.Abstract_syntax.Abstract_syntax.location
  12. | LEX_OPEN of Logic.Abstract_syntax.Abstract_syntax.location
  13. | LAMBDA0 of Logic.Abstract_syntax.Abstract_syntax.location
  14. | LAMBDA of Logic.Abstract_syntax.Abstract_syntax.location
  15. | INFIX of Logic.Abstract_syntax.Abstract_syntax.location
  16. | IDENT of string * Logic.Abstract_syntax.Abstract_syntax.location
  17. | EQUAL of Logic.Abstract_syntax.Abstract_syntax.location
  18. | EOI
  19. | END_OF_DEC of Logic.Abstract_syntax.Abstract_syntax.location
  20. | DOT of Logic.Abstract_syntax.Abstract_syntax.location
  21. | COMPOSE of Logic.Abstract_syntax.Abstract_syntax.location
  22. | COMMA of Logic.Abstract_syntax.Abstract_syntax.location
  23. | COLON_EQUAL of Logic.Abstract_syntax.Abstract_syntax.location
  24. | COLON of Logic.Abstract_syntax.Abstract_syntax.location
  25. | BINDER of Logic.Abstract_syntax.Abstract_syntax.location
  26. | ARROW of Logic.Abstract_syntax.Abstract_syntax.location
exception Error
val sig_entry_eoi : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AcgData.Signature.Data_Signature.t -> AcgData.Signature.Data_Signature.t
val main : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ?overwrite:bool -> no_magic:bool -> filename:string -> AcgData.Environment.Environment.t -> AcgData.Environment.Environment.t
val lex_entry_eoi : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AcgData.Acg_lexicon.Data_Lexicon.t -> AcgData.Acg_lexicon.Data_Lexicon.t
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
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