module Cubical.Data.BinNat where

open import Cubical.Data.BinNat.BinNat public