nspec - 0.1.3

Juvix.Builtin.V1.Trait.FromNatural

Description

Definitions

trait type FromNatural ASource#

Constructors

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

open FromNatural public