package acgtk
Abstract Categorial Grammar development toolkit
Install
dune-project
Dependency
Authors
Maintainers
Sources
acg-2.1.0-20240219.tar.gz
sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2
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