Data_parser (p.acgtk.2.1.0.doc.acgtk.grammars.Grammars.Data

Sourcetype 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

Sourceexception Error

val type_alone : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  AcgData.Signature.Data_Signature.t ->
  Logic.Lambda.Lambda.stype

Source

val term_alone : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  AcgData.Signature.Data_Signature.t ->
  Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype

Source

val sig_entry_eoi : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  AcgData.Signature.Data_Signature.t ->
  AcgData.Signature.Data_Signature.t

Source

val main : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  ?overwrite:bool ->
  no_magic:bool ->
  filename:string ->
  AcgData.Environment.Environment.t ->
  AcgData.Environment.Environment.t

Source

val lex_entry_eoi : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  AcgData.Acg_lexicon.Data_Lexicon.t ->
  AcgData.Acg_lexicon.Data_Lexicon.t

Sourcemodule MenhirInterpreter : sig ... end

Sourcemodule Incremental : sig ... end