Synopsis Determine if the given type is a relation.
Function
-
bool isRelType(\alias(_,_,Symbol at)) -
bool isRelType(\parameter(_,Symbol tvb)) -
bool isRelType(\label(_,Symbol lt)) -
bool isRelType(\rel(_)) -
default bool isRelType(Symbol _)
Usage
import Type;