&
Provenance
++
BindingContext
TableContext
^
shapeless
|
Provenance
|¬|
shapeless
|∨|
shapeless
¬
shapeless
¬¬
shapeless
∀
shapeless
∃
shapeless
∧
shapeless
∨
shapeless