package acgtk
Abstract Categorial Grammar development toolkit
Install
dune-project
Dependency
Authors
Maintainers
Sources
acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc
doc/acgtk.grammars/Grammars/Data_parser/index.html
Module Grammars.Data_parserSource
Source
type token = | TYPE of Logic.Abstract_syntax.Abstract_syntax.location| SYMBOL of string * Logic.Abstract_syntax.Abstract_syntax.location| SIG_OPEN of Logic.Abstract_syntax.Abstract_syntax.location| SEMICOLON of Logic.Abstract_syntax.Abstract_syntax.location| RSQBRACKET of Logic.Abstract_syntax.Abstract_syntax.location| RPAREN of Logic.Abstract_syntax.Abstract_syntax.location| PREFIX of Logic.Abstract_syntax.Abstract_syntax.location| NL_LEX_OPEN of Logic.Abstract_syntax.Abstract_syntax.location| LSQBRACKET of Logic.Abstract_syntax.Abstract_syntax.location| LPAREN of Logic.Abstract_syntax.Abstract_syntax.location| LIN_ARROW of Logic.Abstract_syntax.Abstract_syntax.location| LEX_OPEN of Logic.Abstract_syntax.Abstract_syntax.location| LAMBDA0 of Logic.Abstract_syntax.Abstract_syntax.location| LAMBDA of Logic.Abstract_syntax.Abstract_syntax.location| INFIX of Logic.Abstract_syntax.Abstract_syntax.location| IDENT of string * Logic.Abstract_syntax.Abstract_syntax.location| EQUAL of Logic.Abstract_syntax.Abstract_syntax.location| EOI| END_OF_DEC of Logic.Abstract_syntax.Abstract_syntax.location| DOT of Logic.Abstract_syntax.Abstract_syntax.location| COMPOSE of Logic.Abstract_syntax.Abstract_syntax.location| COMMA of Logic.Abstract_syntax.Abstract_syntax.location| COLON_EQUAL of Logic.Abstract_syntax.Abstract_syntax.location| COLON of Logic.Abstract_syntax.Abstract_syntax.location| BINDER of Logic.Abstract_syntax.Abstract_syntax.location| ARROW of Logic.Abstract_syntax.Abstract_syntax.location
Source
val type_alone :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
AcgData.Signature.Data_Signature.t ->
Logic.Lambda.Lambda.stypeSource
val term_alone :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
AcgData.Signature.Data_Signature.t ->
Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stypeSource
val sig_entry_eoi :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
AcgData.Signature.Data_Signature.t ->
AcgData.Signature.Data_Signature.tSource
val main :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
?overwrite:bool ->
no_magic:bool ->
filename:string ->
AcgData.Environment.Environment.t ->
AcgData.Environment.Environment.tSource
val lex_entry_eoi :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
AcgData.Acg_lexicon.Data_Lexicon.t ->
AcgData.Acg_lexicon.Data_Lexicon.t