我如何实现GRing.Ring.sort

Question

我正在尝试使用SSReflect的矩阵库和Coquelicot（http://coquelicot.saclay.inria.fr/html/Coquelicot.Complex.html）的复数。

然而，我收到错误：

GRing.Ring.sort

我认为C是某种类型类或规范结构，但如何将prop实例化为该类的成员？