d从基类方法取子类实例

原文

T transitivity(T : PosetRelation)(T R, T S)
{
      if (R.op == S.op)
      {
         if (R.right is S.left)
            return new T(R.left, S.right);
      }

      return null;
}