Rank

class Rank(rank_class: Rank | type[Rank] | None = None)

Bases: ClosedTerm

Abstract base class for statement ranks.

variable_class

alias of RankVariable

instance: ClassVar[Rank]

Singleton instance of this rank class.

classmethod check(arg: Any, function: Callable[[...], Any] | str | None = None, name: str | None = None, position: int | None = None) → Self

Coerces arg into an instance of this class.

If arg cannot be coerced, raises an error.

Parameters:

• arg – Value.

• function – Function or function name.

• name – Argument name.

• position – Argument position.

Returns:

Object.

__init__(rank_class: Rank | type[Rank] | None = None) → None

class RankVariable(name: str | None = None, variable_class: type[Variable] | type[Term] | None = None)

Bases: Variable

Rank variable.

Parameters:

name – Name.

object_class

alias of Rank