concrete production typeDecl

top::AGDcl ::= 'type' id::Name tl::BracketedOptTypeExprs '=' te::TypeExpr ';'

In file: TypeDecl.sv

function typeAliasDef

Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type

In file: TypeDecl.sv

abstract production typeDcl

top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type

In file: TypeDecl.sv