Uses of Class
g2d.terms.HoleTerm

Packages that use HoleTerm

Package	Description
g2d.terms	This package contains a preliminary implementation of term editing.

Uses of HoleTerm in g2d.terms

Methods in g2d.terms that return HoleTerm

Modifier and Type	Method and Description
static HoleTerm	HoleTerm.fromSort(Sort sort)