package p4spectec

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

Module Type.SubstSource

Sourcemodule Fresh_ = Fresh
module Mixfix = Domain.Mixfix
Sourceval freshen_tparams : Lang.Il.tparam list -> theta * Lang.Il.tparam list
Sourceval subst_typ_inner : theta -> Lang.Il.typ -> Lang.Il.typ
Sourceval subst_typs_inner : theta -> Lang.Il.typ list -> Lang.Il.typ list
Sourceval subst_typ : theta -> Lang.Il.typ -> Lang.Il.typ
Sourceval subst_typs : theta -> Lang.Il.typ list -> Lang.Il.typ list
Sourceval subst_nottyp : theta -> Lang.Il.nottyp -> Lang.Il.nottyp
Sourceval subst_typcase : theta -> Lang.Il.typcase -> Lang.Il.typcase
Sourceval subst_param : theta -> Lang.Il.param -> Lang.Il.param
Sourceval subst_params : theta -> Lang.Il.param list -> Lang.Il.param list