umd.cs.shop
Class JSPairVarTerm
public class
JSPairVarTerm