alice.tuprologx.pj.model

Class Compound2<X1 extends Term<?>,X2 extends Term<?>>