Minnesota Extensible Language Tools Group

[silver:compiler:definition:type]

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

Defined in this grammar:

synthesized attribute baseKind :: Kind

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

(Undocumented.)

synthesized attribute argKinds :: [Kind]

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Kind.sv line 4.

(Undocumented.)

nonterminal Kind

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Kind.sv line 6.

(Undocumented.)

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

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

(Undocumented.)

abstract production starKind   (top::Kind ::= )

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

(Undocumented.)

abstract production inhSetKind   (top::Kind ::= )

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

(Undocumented.)

abstract production arrowKind   (top::Kind ::= k1::Kind k2::Kind )

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

(Undocumented.)

global constructorKind

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

(Undocumented.)

synthesized attribute isError :: Boolean

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 4.

(Undocumented.)

synthesized attribute isApplicable :: Boolean

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

(Undocumented.)

synthesized attribute inputTypes :: [Type]

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

(Undocumented.)

synthesized attribute outputType :: Type

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

(Undocumented.)

synthesized attribute namedTypes :: [Pair<String Type>]

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

(Undocumented.)

synthesized attribute arity :: Integer

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

(Undocumented.)

synthesized attribute baseType :: Type

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

(Undocumented.)

synthesized attribute argTypes :: [Type]

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

(Undocumented.)

synthesized attribute inhSetMembers :: [String]

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

(Undocumented.)

monoid attribute freeSkolemVars :: [TyVar]

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

(Undocumented.)

monoid attribute freeFlexibleVars :: [TyVar]

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

(Undocumented.)

synthesized attribute isDecorated :: Boolean

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

(Undocumented.)

synthesized attribute isUniqueDecorated :: Boolean

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

(Undocumented.)

synthesized attribute isNonterminal :: Boolean

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 29.

(Undocumented.)

synthesized attribute isData :: Boolean

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 32.

(Undocumented.)

synthesized attribute isTracked :: Boolean

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 35.

(Undocumented.)

synthesized attribute isTerminal :: Boolean

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 38.

(Undocumented.)

synthesized attribute decoratedType :: Type

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 41.

(Undocumented.)

synthesized attribute asNtOrDecType :: Type

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 44.

(Undocumented.)

synthesized attribute defaultSpecialization :: Type

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

(Undocumented.)

synthesized attribute unifyInstanceNonterminal :: Substitution

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 50.

(Undocumented.)

synthesized attribute unifyInstanceDecorated :: Substitution

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 51.

(Undocumented.)

synthesized attribute unifyInstanceDecorable :: Substitution

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 52.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 116.

(Undocumented.)

instance Eq Type

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 280.

(Undocumented.)

instance Eq Type.eq

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Util.sv line 281.

(Undocumented.)

global appTypes

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

(Undocumented.)

fun setUnionTyVars   ([TyVar] ::= a::[TyVar] b::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Helpers.sv line 6.

(Undocumented.)

fun setUnionTyVarsAll   ([TyVar] ::= tvs::[[TyVar]] )

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

(Undocumented.)

inherited attribute unifyWith :: Type

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

(Undocumented.)

synthesized attribute unify :: Substitution

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Unification.sv line 4.

(Undocumented.)

function unify   (Substitution ::= te1::Type te2::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Unification.sv line 211.

(Undocumented.)

fun unifyCheck   (Substitution ::= te1::Type te2::Type s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Unification.sv line 225.

(Undocumented.)

fun unifyDirectional   (Substitution ::= fromte::Type tote::Type )

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

(Undocumented.)

function unifyAll   (Substitution ::= te1::[Type] te2::[Type] )

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

(Undocumented.)

function unifyAllShortCircuit   (Substitution ::= te1::[Type] te2::[Type] )

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

(Undocumented.)

data nonterminal Substitution

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

(Undocumented.)

synthesized attribute substList :: [Pair<TyVar Type>]

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

(Undocumented.)

synthesized attribute substErrors :: [String]

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

(Undocumented.)

synthesized attribute failure :: Boolean

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

(Undocumented.)

abstract production goodSubst   (top::Substitution ::= sublst::[Pair<TyVar Type>] )

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

(Undocumented.)

abstract production badSubst   (top::Substitution ::= sublst::[Pair<TyVar Type>] errs::[String] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 29.

(Undocumented.)

fun emptySubst   (Substitution ::= )

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

(Undocumented.)

fun errorSubst   (Substitution ::= e::String )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 38.

(Undocumented.)

fun subst   (Substitution ::= tv::TyVar te::Type )

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

(Undocumented.)

fun composeSubst   (Substitution ::= s1::Substitution s2::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 40.

(Undocumented.)

fun ignoreFailure   (Substitution ::= s::Substitution )

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

(Undocumented.)

fun findSubst   (Maybe<Type> ::= tv::TyVar s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 56.

(Undocumented.)

inherited attribute substitution :: Substitution

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 61.

(Undocumented.)

monoid attribute substituted

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 62.

(Undocumented.)

monoid attribute flatRenamed

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 64.

(Undocumented.)

function performContextSubstitution   (Context ::= c::Context s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 165.

(Undocumented.)

function performSubstitution   (Type ::= te::Type s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 172.

(Undocumented.)

fun mapSubst   ([Type] ::= tes::[Type] s::Substitution )

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

(Undocumented.)

function performContextRenaming   (Context ::= c::Context s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 183.

(Undocumented.)

function performRenaming   (Type ::= te::Type s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 190.

(Undocumented.)

fun mapRenameSubst   ([Type] ::= tes::[Type] s::Substitution )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 197.

(Undocumented.)

fun freshTyVars   ([TyVar] ::= tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 202.

(Undocumented.)

fun zipVarsIntoSubstitution   (Substitution ::= original::[TyVar] sub::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 204.

(Undocumented.)

fun zipVarsIntoSkolemizedSubstitution   (Substitution ::= original::[TyVar] sub::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 209.

(Undocumented.)

fun zipVarsAndTypesIntoSubstitution   (Substitution ::= original::[TyVar] sub::[Type] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 215.

(Undocumented.)

fun freshenType   (Type ::= te::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 220.

(Undocumented.)

fun freshenContextWith   (Context ::= c::Context tvs::[TyVar] ntvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 222.

(Undocumented.)

fun freshenTypeWith   (Type ::= te::Type tvs::[TyVar] ntvs::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 225.

(Undocumented.)

function errorSubstitution   (Substitution ::= t::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Substitutions.sv line 228.

(Undocumented.)

synthesized attribute typepp :: String

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

(Undocumented.)

inherited attribute boundVariables :: [TyVar]

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 6.

(Undocumented.)

function prettyType   (String ::= te::Type )

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

(Undocumented.)

function prettyTypeWith   (String ::= te::Type tvs::[TyVar] )

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

(Undocumented.)

function prettyContext   (String ::= c::Context )

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

(Undocumented.)

function prettyContextWith   (String ::= c::Context tvs::[TyVar] )

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

(Undocumented.)

function prettyKind   (String ::= k::Kind )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 38.

(Undocumented.)

instance Show Type

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 44.

(Undocumented.)

instance Show Type.pp

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 45.

(Undocumented.)

instance Show Kind

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

(Undocumented.)

instance Show Kind.pp

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 49.

(Undocumented.)

function findAbbrevFor   (String ::= tv::TyVar bv::[TyVar] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 261.

(Undocumented.)

fun findAbbrevHelp   (String ::= tv::TyVar bv::[TyVar] vn::[String] assigned::[String] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/PrettyPrinting.sv line 269.

(Undocumented.)

synthesized attribute kindrep :: Kind

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 6.

(Undocumented.)

synthesized attribute freeVariables :: [TyVar]

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

(Undocumented.)

synthesized attribute boundVars :: [TyVar]

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 8.

(Undocumented.)

synthesized attribute contexts :: [Context]

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

(Undocumented.)

synthesized attribute typerep :: Type

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

(Undocumented.)

synthesized attribute monoType :: Type

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

(Undocumented.)

nonterminal PolyType

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

(Undocumented.)

abstract production monoType   (top::PolyType ::= ty::Type )

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

(Undocumented.)

abstract production polyType   (top::PolyType ::= bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 29.

(Undocumented.)

abstract production constraintType   (top::PolyType ::= bound::[TyVar] contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 38.

(Undocumented.)

nonterminal Context

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 51.

(Undocumented.)

abstract production instContext   (top::Context ::= cls::String t::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 53.

(Undocumented.)

abstract production inhOccursContext   (top::Context ::= attr::String args::[Type] atty::Type ntty::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 59.

(Undocumented.)

abstract production synOccursContext   (top::Context ::= attr::String args::[Type] atty::Type inhs::Type ntty::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 65.

(Undocumented.)

abstract production annoOccursContext   (top::Context ::= attr::String args::[Type] atty::Type ntty::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 71.

(Undocumented.)

abstract production typeableContext   (top::Context ::= t::Type )

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

(Undocumented.)

abstract production inhSubsetContext   (top::Context ::= i1::Type i2::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 83.

(Undocumented.)

abstract production typeErrorContext   (top::Context ::= msg::String )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 89.

(Undocumented.)

nonterminal Type

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 98.

(Undocumented.)

abstract production varType   (top::Type ::= tv::TyVar )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 105.

(Undocumented.)

abstract production skolemType   (top::Type ::= tv::TyVar )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 116.

(Undocumented.)

abstract production appType   (top::Type ::= c::Type a::Type )

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

(Undocumented.)

abstract production errorType   (top::Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 141.

(Undocumented.)

abstract production intType   (top::Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 151.

(Undocumented.)

abstract production boolType   (top::Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 161.

(Undocumented.)

abstract production floatType   (top::Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 171.

(Undocumented.)

abstract production stringType   (top::Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 181.

(Undocumented.)

abstract production terminalIdType   (top::Type ::= )

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

(Undocumented.)

abstract production nonterminalType   (top::Type ::= fn::String ks::[Kind] data::Boolean tracked::Boolean )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 211.

(Undocumented.)

abstract production terminalType   (top::Type ::= fn::String )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 222.

(Undocumented.)

abstract production inhSetType   (top::Type ::= inhs::[String] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 234.

(Undocumented.)

abstract production decoratedType   (top::Type ::= te::Type i::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 248.

(Undocumented.)

abstract production uniqueDecoratedType   (top::Type ::= te::Type i::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 262.

(Undocumented.)

abstract production ntOrDecType   (top::Type ::= nt::Type inhs::Type hidden::Type )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 299.

(Undocumented.)

abstract production functionType   (top::Type ::= params::Integer namedParams::[String] )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 331.

(Undocumented.)

annotation varId :: Integer

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 340.

(Undocumented.)

annotation kind :: Kind

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 341.

(Undocumented.)

data nonterminal TyVar

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 343.

(Undocumented.)

abstract production tyVar   (TyVar ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 343.

(Undocumented.)

abstract production tyVarNamed   (TyVar ::= n::String )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 343.

(Undocumented.)

instance Eq TyVar

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 346.

(Undocumented.)

instance Eq TyVar.eq

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 348.

(Undocumented.)

global freshTyVar

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 351.

(Undocumented.)

global freshTyVarNamed

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 352.

(Undocumented.)

fun freshType   (Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 354.

(Undocumented.)

fun newSkolemConstant   (Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 356.

(Undocumented.)

fun freshInhSet   (Type ::= )

Contained in grammar [silver:compiler:definition:type]. Defined at silver/compiler/definition/type/Type.sv line 358.

(Undocumented.)