concrete production typeDecl

###### top::AGDcl ::= 'type' id::Name tl::BracketedOptTypeList '=' te::Type ';' In file: TypeDecl.sv

function typeAliasDef

###### Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp In file: TypeDecl.sv

abstract production typeDcl

###### top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp In file: TypeDecl.sv