nspec - 0.1.4

Juvix.Builtin.V1.Trait.FromNatural

Description

Definitions

trait type FromNatural ASource#

Constructors

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

open FromNatural public