ClassAxiom

class ClassAxiom(annotations: list[Annotation] | None = None)[source]

Bases: Axiom

A model for a class axiom.

Instantiate an axiom, with an optional list of annotations.