{-# OPTIONS --safe #-}
module Cubical.Data.BinNat where

open import Cubical.Data.BinNat.BinNat public