HelloWorld - 0.1.0

Juvix.Builtin.V1.Trait.FromNatural

Description

Definitions

trait type FromNatural ASource#

Constructors

| mkFromNatural@{builtin from-nat fromNat : Nat -> A}

open FromNatural public