class
TermRefSet
extends
Traversable
A set of term references where equality is =:=
Constructors
TermRefSet
(
)
TermRefSet
(
implicit
ctx:
Context
)