stdlib - 0.0.1
Source
Index
Stdlib.Trait.FromNatural
Contents
Description
Definitions
Description
Definitions
import
Juvix.Builtin.V1.Trait.FromNatural
open
public
