package p4spectec

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

Module Static.FuncSource

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