[][src]Module voile_util::axiom

Defines the Axiom type and some functions on it.

Enums

Axiom

Postulated value (or temporarily irreducible expressions), aka axioms.