Poling/parser.mli at master · rowangithub/Poling · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
type token =
  | ACTION
  | AMPERAMPER
  | AS
  | ASSUME
  | BARBAR
  | BOOL of (bool)
  | BREAK
  | CLASS
  | COLON
  | COMMA
  | COMMENT
  | CONSTRUCTOR
  | CONTINUE
  | DISPOSE
  | DO
  | DOT
  | ELSE
  | EMPTY
  | ENSURES
  | EOF
  | EQUAL
  | IDENT of (string)
  | QIDENT of (string)
  | FIDENT of (string)
  | IF
  | INFIXOP1 of (string)
  | INFIXOP2 of (string)
  | INFIXOP3 of (string)
  | INTERFERE
  | INVARIANT
  | LBRACE
  | LBRACKET
  | LET
  | LPAREN
  | MINUSGREATER
  | NAT of (int)
  | NEW
  | PAR
  | POINTSTO
  | RBRACE
  | RBRACKET
  | REQUIRES
  | RESOURCE
  | RETURN
  | RPAREN
  | STRING of (string)
  | SEMI
  | STAR
  | THEN
  | TREE
  | UNARYOP of (string)
  | UNDERSCORE
  | VOID
  | WHEN
  | WHILE
  | WITH
  | QUALIF
  | SINGLE_QUALIF
  | SPEC
  | TILDE
  | LBRACELESS
  | GREATERRBRACE
  | WILD
  | IN
  | UNION
  | CONCAT
  | REC
  | PURESPEC
  | EFFSPEC
  | IMPLIES
  | SETDECL
  | TDESC

val program :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Parsetree.p_program
val assn :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Parsetree.a_proposition
val qualifiers :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Parsetree.qualifier_declaration list