Assertion

class Assertion(annotations=None)[source]

Bases: Axiom

Axioms for 9.6 “Assertions”.

Instantiate an axiom, with an optional list of annotations.

Parameters:: annotations (list[Annotation])