module Stdlib.Trait.Natural;

import Juvix.Builtin.V1.Trait.Natural open public;