umd.cs.shop
Class JSTerm
public class
JSTerm
extends JSPredicateForm