kdrag.kernel.axiom

kdrag.kernel.axiom(thm: BoolRef, by=[]) → None

Assert an axiom.

Axioms are necessary and useful. But you must use great care.

Parameters:

• thm – The axiom to assert.

• by – A python object explaining why the axiom should exist. Often a string explaining the axiom.