concrete-optics.traversal.axioms

Traversal axioms