Assertion

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

Bases: Axiom

Axioms for 9.6 “Assertions”.

Instantiate an axiom, with an optional list of annotations.