juvix-docs - 0.0.0

Juvix.Builtin.V1.Trait.FromNatural

Description

Definitions

trait type FromNatural ASource#

Constructors

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

open FromNatural public