public open import Arith::Bool::Core
public open import Arith::Bool::Properties