alice.tuprologx.pj.model

Class Compound1<X1 extends Term<?>>