123456789101112-------------------------------------------------------------------------- The Agda standard library---- Natural numbers represented in binary natively in Agda.------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Data.Nat.Binary where open import Data.Nat.Binary.Base publicopen import Data.Nat.Binary.Properties public using (_≟_)