nspec - 0.1.3

Stdlib.Trait.FromNatural

Definitions

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