package p4spectec

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

Module Make.Func

val call : call_func ref
val register : call_func -> unit
val sizeof_minSizeInBits' : Backend_sim.Spec_impl.Func.Value.t -> Bigint.t
val sizeof_maxSizeInBits' : Backend_sim.Spec_impl.Func.Value.t -> Bigint.t
val tableObject_add_entry : Backend_sim.Spec_impl.Func.Value.t -> Backend_sim.Spec_impl.Func.Value.t -> Backend_sim.Spec_impl.Func.Value.t -> Backend_sim.Spec_impl.Func.Value.t -> Backend_sim.Spec_impl.Func.Value.t -> Backend_sim.Spec_impl.Func.Value.t option