Synopsis Determine if the given type is an Abstract Data Type (ADT).
  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;
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit