Library Stdlib.Numbers.Natural.Binary.NBinary

From Stdlib Require Import BinPos.
From Stdlib Require Export BinNat.
From Stdlib Require Import NAxioms NProperties.

Local Open Scope N_scope.

BinNat.N already implements NAxiomSig

Module N <: NAxiomsSig := N.