package p4spectec

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

Module P4.Builtin_P4_ExtSource

Sourceval print : (Value.t -> unit) -> Util.Source.region -> Typ.t list -> Value.t list -> Value.t
Sourceval entries : (string * ((Value.t -> unit) -> Util.Source.region -> Typ.t list -> Value.t list -> Value.t)) list