alice.tuprologx.pj.model

Class Var<X extends Term<?>>