examples - 0.0.0

Juvix.Builtin.V1

Description

Definitions

import Juvix.Builtin.V1.Nat open public

import Juvix.Builtin.V1.Trait.Natural open public

import Juvix.Builtin.V1.String open public

import Juvix.Builtin.V1.Bool open public

import Juvix.Builtin.V1.Maybe open public

import Juvix.Builtin.V1.List open public

import Juvix.Builtin.V1.Fixity open public