package p4spectec

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

Module Spec_impl.Unpack

module Num = Lang.Xl.Num
module Value = Runtime.Value
val assoc_args : Value.t -> Value.t -> (string * Value.t) list
val first : ('a -> 'b option) list -> 'a -> 'b option
val unpack_p4_bool : Value.t -> bool
val unpack_p4_string : Value.t -> string
val unpack_p4_fixedBit : Value.t -> Bigint.t * Bigint.t
val unpack_p4_fixedInt : Value.t -> Bigint.t * Bigint.t
val unpack_p4_variableBit : Value.t -> Bigint.t * Bigint.t * Bigint.t
val unpack_p4_precision_numberValue : Value.t -> Bigint.t * Bigint.t
val unpack_p4_tuple : Value.t -> Value.t list
val unpack_p4_enum : Value.t -> string * string
val unpack_p4_sequence : Value.t -> Value.t list