Minnesota Extensible Language Tools Group

[silver:compiler:definition:type:syntax]

Contents of [silver:compiler:definition:type:syntax]:

Defined in this grammar:

nonterminal KindExpr

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/KindExpr.sv line 3.

(Undocumented.)

concrete production starKindExpr   (top::KindExpr ::= '*' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/KindExpr.sv line 7.

(Undocumented.)

concrete production inhSetKindExpr   (top::KindExpr ::= 'InhSet' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/KindExpr.sv line 14.

(Undocumented.)

concrete production arrowKindExpr   (top::KindExpr ::= k1::KindExpr '->' k2::KindExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/KindExpr.sv line 21.

(Undocumented.)

concrete production parenKindExpr   (top::KindExpr ::= '(' k::KindExpr ')' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/KindExpr.sv line 28.

(Undocumented.)

inherited attribute constraintPos :: ConstraintPosition

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 3.

(Undocumented.)

nonterminal ConstraintList

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 5.

(Undocumented.)

nonterminal Constraint

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 11.

(Undocumented.)

concrete production consConstraint   (top::ConstraintList ::= h::Constraint ',' t::ConstraintList )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 18.

(Undocumented.)

concrete production oneConstraint   (top::ConstraintList ::= h::Constraint )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 24.

(Undocumented.)

abstract production nilConstraint   (top::ConstraintList ::= )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 30.

(Undocumented.)

concrete production classConstraint   (top::Constraint ::= c::QNameType t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 37.

(Undocumented.)

concrete production inhOccursConstraint   (top::Constraint ::= 'attribute' at::QName attl::BracketedOptTypeExprs 'occurs' 'on' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 92.

(Undocumented.)

concrete production synOccursConstraint   (top::Constraint ::= 'attribute' at::QName attl::BracketedOptTypeExprs i::TypeExpr 'occurs' 'on' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 137.

(Undocumented.)

concrete production annoOccursConstraint   (top::Constraint ::= 'annotation' at::QName attl::BracketedOptTypeExprs 'occurs' 'on' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 193.

(Undocumented.)

concrete production typeableConstraint   (top::Constraint ::= 'runtimeTypeable' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 238.

(Undocumented.)

concrete production inhSubsetConstraint   (top::Constraint ::= i1::TypeExpr 'subset' i2::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 251.

(Undocumented.)

concrete production typeErrorConstraint   (top::Constraint ::= 'typeError' msg::String_t )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 290.

(Undocumented.)

synthesized attribute classInstDcl :: (InstDclInfo ::= String Type)

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 303.

(Undocumented.)

synthesized attribute occursInstDcl :: (OccursDclInfo ::= String Type Type)

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 304.

(Undocumented.)

synthesized attribute typeableInstDcl :: (InstDclInfo ::= Type)

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 305.

(Undocumented.)

synthesized attribute inhSubsetInstDcl :: (InstDclInfo ::= Type Type)

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 306.

(Undocumented.)

synthesized attribute classDefName :: Maybe<String>

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 307.

(Undocumented.)

synthesized attribute instanceHead :: Maybe<Context>

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 308.

(Undocumented.)

data nonterminal ConstraintPosition

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 309.

(Undocumented.)

aspect default production top::ConstraintPosition ::= {#aspect_default_production_silver:compiler:definition:type:syntax:ConstraintPosition}

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 312.

(Undocumented.)

abstract production instancePos   (top::ConstraintPosition ::= instHead::Context tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 318.

(Undocumented.)

abstract production classPos   (top::ConstraintPosition ::= className::String tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 328.

(Undocumented.)

abstract production classMemberPos   (top::ConstraintPosition ::= className::String tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 347.

(Undocumented.)

abstract production signaturePos   (top::ConstraintPosition ::= sig::NamedSignature )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 361.

(Undocumented.)

abstract production globalPos   (top::ConstraintPosition ::= tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 370.

(Undocumented.)

function transitiveSuperContexts   ([Context] ::= env::Env ty::Type seenClasses::[String] className::String )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 381.

(Undocumented.)

function sameSuperContext   (Boolean ::= c1::Context c2::Context )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 398.

(Undocumented.)

function transitiveSuperDefs   ([Def] ::= env::Env ty::Type seenClasses::[String] instDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 411.

(Undocumented.)

function transitiveSuperOccursDefs   ([OccursDclInfo] ::= env::Env ty::Type seenClasses::[String] instDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Constraint.sv line 432.

(Undocumented.)

fun addNewLexicalTyVars_ActuallyVariables   ([Def] ::= gn::String sl::Location lk::[Pair<String Kind>] l::[String] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/AspectDcl.sv line 9.

(Undocumented.)

terminal Arrow_t

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 3.

(Undocumented.)

terminal InhSetLCurly_t

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 7.

(Undocumented.)

terminal Boolean_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 13.

(Undocumented.)

terminal Decorated_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 15.

(Undocumented.)

terminal UniqueDecorated_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 16.

(Undocumented.)

terminal Float_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 17.

(Undocumented.)

terminal Integer_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 18.

(Undocumented.)

terminal String_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 19.

(Undocumented.)

terminal TerminalId_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 20.

(Undocumented.)

terminal InhSet_tkwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 21.

(Undocumented.)

terminal RuntimeTypeable_kwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 22.

(Undocumented.)

terminal Subset_kwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 24.

(Undocumented.)

terminal TypeError_kwd

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 25.

(Undocumented.)

terminal IdTypeVar_t

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/Terminals.sv line 26.

(Undocumented.)

nonterminal TypeExpr

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 9.

(Undocumented.)

nonterminal Signature

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 10.

(Undocumented.)

nonterminal SignatureLHS

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 11.

(Undocumented.)

nonterminal TypeExprs

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 12.

(Undocumented.)

nonterminal BracketedTypeExprs

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 13.

(Undocumented.)

nonterminal BracketedOptTypeExprs

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 14.

(Undocumented.)

nonterminal NamedTypeExprs

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 15.

(Undocumented.)

synthesized attribute maybeType :: Maybe<Type>

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 17.

(Undocumented.)

synthesized attribute types :: [Type]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 18.

(Undocumented.)

synthesized attribute missingCount :: Integer

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 19.

(Undocumented.)

monoid attribute lexicalTypeVariables :: [String]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 22.

(Undocumented.)

monoid attribute lexicalTyVarKinds :: [Pair<String Kind>]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 25.

(Undocumented.)

inherited attribute appArgKinds :: [Kind]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 27.

(Undocumented.)

monoid attribute appLexicalTyVarKinds :: [Pair<String Kind>]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 28.

(Undocumented.)

monoid attribute errorsTyVars :: [Message]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 31.

(Undocumented.)

inherited attribute initialEnv :: Env

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 33.

(Undocumented.)

synthesized attribute envBindingTyVars :: Env

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 34.

(Undocumented.)

monoid attribute errorsKindStar :: [Message]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 36.

(Undocumented.)

monoid attribute mentionedAliases :: [String]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 39.

(Undocumented.)

synthesized attribute errorsInhSet :: [Message]

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 47.

(Undocumented.)

synthesized attribute typerepInhSet :: Type

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 48.

(Undocumented.)

function addNewLexicalTyVars   ([Def] ::= gn::String lk::[Pair<String Kind>] l::[String] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 70.

(Undocumented.)

aspect default production top::TypeExpr ::= {#aspect_default_production_silver:compiler:definition:type:syntax:TypeExpr}

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 77.

(Undocumented.)

abstract production errorTypeExpr   (top::TypeExpr ::= e::[Message] )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 93.

(Undocumented.)

abstract production typerepTypeExpr   (top::TypeExpr ::= t::Type )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 103.

(Undocumented.)

concrete production integerTypeExpr   (top::TypeExpr ::= 'Integer' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 118.

(Undocumented.)

concrete production floatTypeExpr   (top::TypeExpr ::= 'Float' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 126.

(Undocumented.)

concrete production stringTypeExpr   (top::TypeExpr ::= 'String' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 134.

(Undocumented.)

concrete production booleanTypeExpr   (top::TypeExpr ::= 'Boolean' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 142.

(Undocumented.)

concrete production terminalIdTypeExpr   (top::TypeExpr ::= 'TerminalId' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 150.

(Undocumented.)

concrete production inhSetTypeExpr   (top::TypeExpr ::= InhSetLCurly_t inhs::FlowSpecInhs '}' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 158.

(Undocumented.)

concrete production nominalTypeExpr   (top::TypeExpr ::= q::QNameType )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 179.

(Undocumented.)

concrete production typeVariableTypeExpr   (top::TypeExpr ::= tv::IdLower_t )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 201.

(Undocumented.)

concrete production kindSigTypeVariableTypeExpr   (top::TypeExpr ::= '(' tv::IdLower_t '::' k::KindExpr ')' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 218.

(Undocumented.)

concrete production appTypeExpr   (top::TypeExpr ::= ty::TypeExpr tl::BracketedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 236.

(Undocumented.)

abstract production aliasAppTypeExpr   (top::TypeExpr ::= q::Decorated QNameType with {env} tl::BracketedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 254.

(Undocumented.)

abstract production typeAppTypeExpr   (top::TypeExpr ::= ty::Decorated TypeExpr tl::BracketedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 275.

(Undocumented.)

concrete production refTypeExpr   (top::TypeExpr ::= 'Decorated' t::TypeExpr 'with' i::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 314.

(Undocumented.)

concrete production refDefaultTypeExpr   (top::TypeExpr ::= 'Decorated' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 345.

(Undocumented.)

concrete production uniqueRefTypeExpr   (top::TypeExpr ::= 'Decorated!' t::TypeExpr 'with' i::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 364.

(Undocumented.)

concrete production uniqueRefDefaultTypeExpr   (top::TypeExpr ::= 'Decorated!' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 395.

(Undocumented.)

concrete production funTypeExpr   (top::TypeExpr ::= '(' sig::Signature ')' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 414.

(Undocumented.)

concrete production signatureEmptyRhs   (top::Signature ::= l::SignatureLHS '::=' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 421.

(Undocumented.)

concrete production psignature   (top::Signature ::= l::SignatureLHS '::=' list::TypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 428.

(Undocumented.)

concrete production signatureOnlyNamed   (top::Signature ::= l::SignatureLHS '::=' ';' namedList::NamedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 444.

(Undocumented.)

concrete production signatureNamed   (top::Signature ::= l::SignatureLHS '::=' list::TypeExprs ';' namedList::NamedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 459.

(Undocumented.)

concrete production presentSignatureLhs   (top::SignatureLHS ::= t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 480.

(Undocumented.)

concrete production missingSignatureLhs   (top::SignatureLHS ::= '_' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 489.

(Undocumented.)

concrete production botlNone   (top::BracketedOptTypeExprs ::= )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 498.

(Undocumented.)

concrete production botlSome   (top::BracketedOptTypeExprs ::= btl::BracketedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 505.

(Undocumented.)

concrete production bTypeList   (top::BracketedTypeExprs ::= '<' tl::TypeExprs '>' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 518.

(Undocumented.)

abstract production typeListNone   (top::TypeExprs ::= )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 547.

(Undocumented.)

concrete production typeListSingle   (top::TypeExprs ::= t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 556.

(Undocumented.)

concrete production typeListSingleMissing   (top::TypeExprs ::= '_' )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 563.

(Undocumented.)

concrete production typeListCons   (top::TypeExprs ::= t::TypeExpr list::TypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 570.

(Undocumented.)

concrete production typeListConsMissing   (top::TypeExprs ::= '_' list::TypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 590.

(Undocumented.)

abstract production namedTypeListNone   (top::NamedTypeExprs ::= )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 612.

(Undocumented.)

concrete production namedTypeListSingle   (top::NamedTypeExprs ::= n::Name '::' t::TypeExpr )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 620.

(Undocumented.)

concrete production namedTypeListCons   (top::NamedTypeExprs ::= n::Name '::' t::TypeExpr list::NamedTypeExprs )

Contained in grammar [silver:compiler:definition:type:syntax]. Defined at silver/compiler/definition/type/syntax/TypeExpr.sv line 627.

(Undocumented.)