package p4spectec

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

Module Dynamic_pl.FuncSource

Sourcetype t =
  1. | Extern of Lang.Pl.tparam list * Lang.Pl.param list * Lang.Pl.typ
  2. | Builtin of Lang.Pl.tparam list * Lang.Pl.param list * Lang.Pl.typ
  3. | Table of Lang.Pl.param list * Lang.Pl.typ * Lang.Pl.tablerow list
  4. | Defined of Lang.Pl.tparam list * Lang.Pl.param list * Lang.Pl.typ * Lang.Pl.block_group * Lang.Pl.block_group option
Sourceval to_string : t -> string
Sourceval get_signature : t -> Lang.Pl.tparam list * Lang.Pl.typ list * Lang.Pl.typ