Module Cduce_lib.Parser

type token =
| XTRANSFORM
| WITH
| WHERE
| VALIDATE
| USING
| UNDERSCORE
| TYPE
| TRY
| TRANSFORM
| THEN
| STRING2 of string
| STRING1 of string
| STARSTAR
| STARQMARK
| STARMINUSMINUS
| STAR
| SLASHSLASH
| SLASHAT
| SLASH
| SETMINUS
| SEMISEMI
| SEMI
| SELECT
| SCHEMA
| RSB
| RP
| RESOLVED_INCLUDE of Cduce_core.Ast.pprog
| REF
| RCB
| QMARKQMARK
| QMARK
| POLY of string
| PLUSQMARK
| PLUS
| OR
| OPEN
| ON
| OFF
| NAMESPACE
| MOD
| MINUSMINUSSTAR
| MINUSMINUS
| MINUSGT
| MINUS
| MATCH
| MAP
| LTLT
| LTEQ
| LT
| LSB
| LP
| LET
| LCB
| INT of string
| INCLUDE
| IN
| IF
| IDENT of string
| HASH_UTF8
| HASH_PRINT_TYPE
| HASH_LATIN1
| HASH_DUMP_VALUE
| HASH_DIRECTIVE of string
| HASH_ASCII
| GTGT
| GTEQ
| GT
| FUN
| FROM
| FLOAT of float
| EQQMARK
| EQ
| EOI
| ELSE
| DOTDOT
| DOT
| DIV
| DEBUG
| COMMA
| COLON
| COLEQ
| COLCOL
| BQUOTE
| BARBAR
| BAR
| BANGEQ
| BANG
| AT
| ANY_IN_NS of string
| AND
| AMPAMP
| AMP
exception Error
val top_phrases : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cduce_core.Ast.pprog
val prog : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cduce_core.Ast.pprog
val parse_pmodule_item : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cduce_core.Ast.pmodule_item
val parse_pat : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cduce_core.Ast.ppat
val parse_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cduce_core.Ast.pexpr
module MenhirInterpreter : sig ... end
module Incremental : sig ... end