package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Type.Expand`Source

val expand_typ : 
  (Domain.Lib.TId.t -> Typdef.t option) ->
  Lang.Il.typ ->
  Lang.Il.typ