value
Value.Get
builtin
dangling
dynamic
dynamic_al
dynamic_pl
dynamic_runner
dynamic_sl
error_runtime
inst
instr
interp_al
interp_common
interp_pl
interp_sl
p4
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
val bool : t -> bool
val num : t -> Lang.Xl.Num.t
val text : t -> string
val str : t -> Lang.Il.valuefield list
val case : t -> Lang.Il.valuecase
val tuple : t -> Lang.Il.value list
val opt : t -> Lang.Il.value option
val list : t -> Lang.Il.value list
val func : t -> Lang.Il.id
val extern : t -> Yojson.Safe.t
val nth : int -> Lang.Il.value list -> Lang.Il.value
val one : Lang.Il.value list -> Lang.Il.value
val two : Lang.Il.value list -> Lang.Il.value * Lang.Il.value
val three : Lang.Il.value list -> Lang.Il.value * Lang.Il.value * Lang.Il.value
val mtch : t -> (string * (Lang.Il.value list -> 'a)) list -> (Lang.Il.value list -> 'a) -> 'a
module MixopHashed : sig ... end
module MtchTbl : sig ... end
type 'a mtch = Util.Source.region -> Lang.Il.value list -> 'a
type 'a mtchtbl = 'a mtch MtchTbl.t
val build_mtchtbl : (Domain.Mixop.t * (Util.Source.region -> Lang.Il.value list -> 'a)) list -> 'a mtchtbl
val mtch_dispatch : t -> 'a mtchtbl -> 'a mtch -> 'a
val build_dispatch : (Domain.Mixop.t * (Util.Source.region -> Lang.Il.value list -> 'a)) list -> 'a mtchtbl
val (|>>) : t -> string -> Lang.Il.value list
val (|>>!) : t -> Domain.Mixop.t -> Lang.Il.value list
val (|>>?) : t -> string -> Lang.Il.value list option