Module `Spec.Rel`

type call_rel =
  string ->
  Backend_sim.Spec_impl.Rel.Value.t list ->
  Backend_sim.Spec_impl.Rel.Value.t list

val call : call_rel ref

val register : call_rel -> unit

val lvalue_read_var : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_read_var_global : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_read_dot : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_read_dot_global : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_write_var : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_write_dot : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_write_var_local : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_write_dot_global : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val lvalue_write_dot_local : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  string ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val v1model_init_packet_in : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val v1model_init_packet_out : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val v1model_init_globals : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.IO.port ->
  Backend_sim.Spec_impl.Rel.Value.t

val v1model_parser : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val v1model_verify : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val v1model_ingress : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val v1model_egress : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val v1model_check : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val v1model_deparse : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val v1model_setup_preserved_meta_fields : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val ebpf_init_packet_in : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val ebpf_init_globals : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t

val ebpf_parse : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val ebpf_filter : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress_init_packet_in : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress_init_packet_out : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress_init_metadata : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.IO.port ->
  string ->
  Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress_init_globals : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.IO.port ->
  Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress_parser : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val psa_ingress_deparser : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val psa_egress_init_packet_in : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val psa_egress_init_packet_out : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t * Backend_sim.Spec_impl.Rel.Value.t

val psa_egress_init_metadata : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.IO.port ->
  string ->
  int ->
  int ->
  Backend_sim.Spec_impl.Rel.Value.t

val psa_egress_init_globals : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.IO.port ->
  Backend_sim.Spec_impl.Rel.Value.t

val psa_egress_parser : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val psa_egress : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

val psa_egress_deparser : 
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t ->
  Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t
  * Backend_sim.Spec_impl.Rel.Value.t

package p4spectec

Module Spec.Rel

Module `Spec.Rel`