acgtk 2.1.0 (latest) · OCaml Package

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

exception Error

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

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

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

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

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

module MenhirInterpreter : sig ... end

module Incremental : sig ... end

package acgtk