Name Rascal/Libraries/Prelude/Type/isADTType

Synopsis Determine if the given type is an Abstract Data Type (ADT).

Function

1. bool isADTType(\alias(_,_,Symbol at))
2. bool isADTType(\parameter(_,Symbol tvb))
3. bool isADTType(\label(_,Symbol lt))
4. bool isADTType(\adt(_,_))
5. bool isADTType(\reified(_))
6. default bool isADTType(Symbol _)

Usage import Type;

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]