private static final class WellDefinednessCheck.TermListAndFunc
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Function |
func |
private ImmutableList<Term> |
terms |
Modifier | Constructor and Description |
---|---|
private |
TermListAndFunc(ImmutableList<Term> ts,
Function f) |
private final ImmutableList<Term> terms
private final Function func
private TermListAndFunc(ImmutableList<Term> ts, Function f)