Concurrent Clean : CleanJ : eqD_b
eqD_bという命令がある。Genericのテストをやっている最中に見つけた。
CleanNodeで、
public static boolean eq_desc(CleanDescriptor d, int n, Object o) throws CleanException { return d == getDesc(o) && d.eq_arity(n,getData(o)); }
というメソッドがあるが、これと同じ考えで実装してよいと思う。