Skip to content

Closed Term

ClosedTerm

Bases: Term[Unpack[Ts]]

Abstract base class for closed (ground) terms.