package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Static.Func`Source

Sourcetype t =

| Extern of Lang.Il.tparam list * Lang.Il.param list * Lang.Il.typ
| Builtin of Lang.Il.tparam list * Lang.Il.param list * Lang.Il.typ
| Table of Lang.Il.param list * Lang.Il.typ * Lang.Il.tablerow list
| 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