package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Type.Typdef`Source

Sourcetype t =

| Param
| Extern
| Defining of Lang.Il.tparam list
| Defined of Lang.Il.tparam list * Lang.Il.deftyp

Sourceval to_string : t -> string

Sourceval get_tparams : t -> Lang.Il.tparam list