tree: 63bc7407e0dcbad9a6bd818823a7a709ce1d3ee5 [path history] [tgz]
  1. hasCommonSubtype/
  2. isDenotable/