Module Frenetic_netkat.Lexer

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
val pp_token : Format.formatter ‑> token ‑> Ppx_deriving_runtime.unit
val show_token : token ‑> Ppx_deriving_runtime.string
include sig ... end
type ('token, 'a) parser = (Lexing.lexbuf ‑> 'token) ‑> Lexing.lexbuf ‑> 'a
val parse : ?⁠ppx:bool ‑> LexBuffer.t ‑> (token'aparser ‑> 'a
val parse_string : ?⁠ppx:bool ‑> ?⁠pos:Lexing.position ‑> string ‑> (token'aparser ‑> 'a
val parse_file : ?⁠ppx:bool ‑> file:string ‑> (token'aparser ‑> 'a