p4spectec.util
Util.Source
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
prose
sim
spectec
static
testgen_neg
type
value
type pos = {
file : string;
line : int;
column : int;
}
val pos_to_yojson : pos -> Yojson.Safe.t
val pos_of_yojson : Yojson.Safe.t -> pos Ppx_deriving_yojson_runtime.error_or
type region = {
left : pos;
right : pos;
val region_to_yojson : region -> Yojson.Safe.t
val region_of_yojson : Yojson.Safe.t -> region Ppx_deriving_yojson_runtime.error_or
val no_pos : pos
val no_region : region
val pos_of_file : string -> pos
val region_of_file : string -> region
val before_region : region -> region
val after_region : region -> region
val string_of_pos : pos -> string
val string_of_range : pos -> pos -> string
val string_of_region : region -> string
type ('a, 'b, 'c) info = {
it : 'a;
note : 'b;
at : 'c;
val info_to_yojson : 'a 'b 'c. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('a, 'b, 'c) info -> Yojson.Safe.t
val info_of_yojson : 'a 'b 'c. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'c Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b, 'c) info Ppx_deriving_yojson_runtime.error_or
type ('a, 'b) note_phrase = ('a, 'b, region) info
val note_phrase_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) note_phrase -> Yojson.Safe.t
val note_phrase_of_yojson : 'a 'b. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b) note_phrase Ppx_deriving_yojson_runtime.error_or
type ('a, 'b) note = ('a, 'b, unit) info
val note_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) note -> Yojson.Safe.t
val note_of_yojson : 'a 'b. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b) note Ppx_deriving_yojson_runtime.error_or
type 'a phrase = ('a, unit, region) info
val phrase_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a phrase -> Yojson.Safe.t
val phrase_of_yojson : 'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a phrase Ppx_deriving_yojson_runtime.error_or
val _ : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a phrase Ppx_deriving_yojson_runtime.error_or
val ($) : 'a -> 'b -> ('a, unit, 'b) info
val ($$) : 'a -> ('b * 'c) -> ('a, 'c, 'b) info
val ($$$) : 'a -> 'b -> ('a, 'b, unit) info
val (%) : 'a -> 'b -> 'a * 'b
val it : ('a, 'b, 'c) info -> 'a
val at : ('a, 'b, 'c) info -> 'c
val note : ('a, 'b, 'c) info -> 'b
val over_region : region list -> region
val exp_list_region : ('a, 'b, region) info list -> region