Synopsis Determine if the given type is a relation.
  1. bool isRelType(\alias(_,_,Symbol at))
  2. bool isRelType(\parameter(_,Symbol tvb))
  3. bool isRelType(\label(_,Symbol lt))
  4. bool isRelType(\rel(_))
  5. default bool isRelType(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