stdlib - 0.0.1

Stdlib.Trait.Natural

Definitions

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