TypeAliasElement constructor

1. lean_builder package
2. documentation
3. element
4. TypeAliasElement
5. TypeAliasElement.new constructor

TypeAliasElement class