package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.Pgm

type call_pgm = string -> string list -> string -> Backend_sim.Spec_impl.Pgm.Value.t * Backend_sim.Spec_impl.Pgm.Value.t
val call : call_pgm ref
val register : call_pgm -> unit
val v1model_init : string list -> string -> Backend_sim.Spec_impl.Pgm.Value.t * Backend_sim.Spec_impl.Pgm.Value.t
val ebpf_init : string list -> string -> Backend_sim.Spec_impl.Pgm.Value.t * Backend_sim.Spec_impl.Pgm.Value.t