module Stdlib.Data.Nat.Base;

import Juvix.Builtin.V1.Nat.Base open public;
Last modified on 2023-12-07 10:36 UTC