package p4spectec

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

Module Type.TypdefSource

Sourcetype t =
  1. | Param
  2. | Extern
  3. | Defining of Lang.Il.tparam list
  4. | Defined of Lang.Il.tparam list * Lang.Il.deftyp
Sourceval to_string : t -> string
Sourceval get_tparams : t -> Lang.Il.tparam list