Module Interface.P4Source

Sourceval unparser : (Value.t -> string) ref
Sourceval parse_program : string list -> string list -> Run.parse_result
Sourceval parse_string : string -> string -> Run.parse_result
Sourceval unparse_program : Value.t -> string
Sourcemodule Builtin_P4_Ext : sig ... end
module Builtin_P4 : sig ... end
Sourceval call_builtin : (Lang.Il.value -> unit) -> Lang.Il.id -> Lang.Il.targ list -> Lang.Il.value list -> Lang.Il.value
Sourceval checkpoint : unit -> int
Sourceval seff : int -> int -> bool
Sourcemodule Cache : sig ... end
Sourceval init : Run.spec -> unit