p4
P4.Parser
builtin
dangling
dynamic
dynamic_al
dynamic_pl
dynamic_runner
dynamic_sl
error_runtime
inst
instr
interp_al
interp_common
interp_pl
interp_sl
p4spectec.backend_boot
p4spectec.backend_sim
p4spectec.backend_splice
p4spectec.backend_testgen_neg
p4spectec.cache
p4spectec.coverage
p4spectec.domain
p4spectec.frontend
p4spectec.interface
p4spectec.interp
p4spectec.lang
p4spectec.pass
p4spectec.runner
p4spectec.runtime
p4spectec.stf
p4spectec.util
prose
sim
spectec
static
testgen_neg
type
value
type token =
| VOID
| VARBIT
| VALUE_SET
| UNEXPECTED_TOKEN of Lang.Il.value
| TYPENAME
| TYPEDEF
| TYPE
| TUPLE
| TRUE
| TRANSITION
| THIS
| TABLE
| SWITCH
| STRUCT
| STRING_LITERAL of Lang.Il.value
| STRING
| STATE
| SHR_ASSIGN
| SHL_ASSIGN
| SHL
| SEMICOLON
| SELECT
| R_PAREN
| R_BRACKET
| R_BRACE
| R_ANGLE_SHIFT
| R_ANGLE
| RETURN
| RANGE
| QUESTION
| PRIORITY
| PRAGMA_END
| PRAGMA
| PLUS_SAT_ASSIGN
| PLUS_SAT
| PLUS_ASSIGN
| PLUSPLUS
| PLUSCOLON
| PLUS
| PARSER
| PACKAGE
| OUT
| OR
| NUMBER_INT of Lang.Il.value * string
| NUMBER of Lang.Il.value * string
| NOT
| NE
| NAME of Lang.Il.value
| MUL_ASSIGN
| MUL
| MOD_ASSIGN
| MOD
| MINUS_SAT_ASSIGN
| MINUS_SAT
| MINUS_ASSIGN
| MINUS
| MATCH_KIND
| MASK
| L_PAREN
| L_BRACKET
| L_BRACE
| L_ANGLE_ARGS
| L_ANGLE
| LIST
| LE
| KEY
| INVALID
| INT
| INOUT
| IN
| IF
| IDENTIFIER
| HEADER_UNION
| HEADER
| GE
| FOR
| FALSE
| EXTERN
| EXIT
| ERROR
| EQ
| ENUM
| ENTRIES
| END
| ELSE
| DOTS
| DOT
| DONTCARE
| DIV_ASSIGN
| DIV
| DEFAULT
| CONTROL
| CONTINUE
| CONST
| COMPLEMENT
| COMMA
| COLON
| BREAK
| BOOL
| BIT_XOR_ASSIGN
| BIT_XOR
| BIT_OR_ASSIGN
| BIT_OR
| BIT_AND_ASSIGN
| BIT_AND
| BIT
| AT
| ASSIGN
| APPLY
| AND
| ACTIONS
| ACTION
| ABSTRACT
exception Error
val p4program : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Value.t
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
module Tables : MenhirLib.TableFormat.TABLES with type token = token