logtk

Core types and algorithms for logic
IN THIS PACKAGE
type token =
| TYPE
| TRUE
| TERM
| RPAREN
| REW
| RBRACK
| QID of string
| PROP
| PROOF
| OR
| NUMBER of string
| NOT
| LPAREN
| LBRACK
| IMP
| ID of string
| FALSE
| EX_TYPE
| EX
| EQV
| EQUAL
| EOF
| END_VAR
| END_TYPEALIAS
| END_HYP
| ENDPROOF
| DOUBLE_ARROW
| DOT
| DEFKW
| DEF
| COMMA
| COLON
| CCARR
| BEGIN_VAR
| BEGIN_TYPEALIAS
| BEGIN_TY
| BEGIN_HYP
| BEGINPROOF
| BEGINNAME of string
| BEGINHEADER
| ARROW
| AND
| ALL_TYPE
| ALL
exception Error
val file : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Ast_dk.statement list