package p4spectec

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

Module Spec_impl.Pack

module Value = Runtime.Value
val pack_p4_arbitraryInt : Bigint.t -> Value.t
val pack_p4_fixedBit : Bigint.t -> Bigint.t -> Value.t
val pack_p4_enum : string -> string -> Value.t