package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Type.Sub`Source

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

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