Module Bin_prot.Nat0Source
Nat0: natural numbers (including zero)
of_int n converts integer n to a natural number.
Bin_prot.Nat0SourceNat0: natural numbers (including zero)
of_int n converts integer n to a natural number.