Pair

ClosedTermPair

Bases: ClosedTerm[TL, TR]

Pair of closed terms.

left property

The left component of the pair.

right property

The right component of the pair.

get_left()

Gets the left component of the pair.

Returns:

• TL –

  Closed term.

get_right()

Gets the right component of the pair.

Returns:

• TR –

  Closed term.

ValuePair

Bases: ClosedTermPair[TL, TR]

Value pair.

Parameters:

• left (TL) –

  Value.

• right (TR) –

  Value.