module Stdlib.Trait.FromNatural;

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