package p4spectec

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

Module Core.Object

module Mixfix = Domain.Mixfix
module Typ = Runtime.Type.Typ
module Value = Runtime.Value
type bits = bool Array.t
val bits_to_yojson : bool Array.t -> Yojson.Safe.t
val bits_of_yojson : Yojson.Safe.t -> (bool Array.t, string) result
val string_to_bits : String.t -> bool array
val bits_to_string : bool array -> string
val bits_to_int_unsigned : bool array -> Bigint.t
val bits_to_int_signed : bool array -> Bigint.t
val int_to_bits_unsigned : Bigint.t -> int -> bool array
val int_to_bits_signed : Bigint.t -> int -> bool array
module PacketIn : sig ... end
module PacketOut : sig ... end