Module Frenetic_netkat.Tokens

type token =
| WHILE
| VSWITCH
| VPORT
| VLANPCP
| VLAN
| VFABRIC
| VAR
| TRUE
| THEN
| TCPSRCPORT
| TCPDSTPORT
| SWITCH
| STRING of string
| STAR
| SLASH
| SEMICOLON
| RPAR
| QUERY
| PORT
| PLUS
| PIPE
| OR
| NOT
| METAID of string
| MAC of string
| LPAR
| LET
| IVERSON of string * Location.t
| IPPROTO
| IP4SRC
| IP4DST
| IP4ADDR of string
| INT of string
| IN
| IF
| ID
| FROM
| FILTER
| FALSE
| ETHTYPE
| ETHSRC
| ETHDST
| EQUALS
| EOF
| END
| ELSE
| DUP
| DROP
| DO
| BEGIN
| AT
| ASSIGN
| ANTIQ of string * Location.t
| AND
| ABSTRACTLOC