Definitions
import Juvix.Builtin.V1 open public
import Stdlib.Data.String.Base open public
import Stdlib.Data.Product open public
import Stdlib.Data.List.Base open public
import Stdlib.System.IO.Base open public
import Stdlib.System.IO.String open public
import Stdlib.System.IO.Nat open public
import Stdlib.Function open public
import Stdlib.Trait.Show open public
import Stdlib.Data.Bool.Base open public
import Stdlib.Data.Maybe open public
import Stdlib.Trait.Eq open public
import Stdlib.Trait.Ord open public
import Stdlib.Trait.Show open public