/*---------------------------------------------------------------------------
  Copyright 2012-2024, Microsoft Research, Daan Leijen.

  This is free software; you can redistribute it and/or modify it under the
  terms of the Apache License, Version 2.0. A copy of the License can be
  found in the LICENSE file at the root of this distribution.
---------------------------------------------------------------------------*/

/*
This is the main index of the standard Koka libraries.

See the [Koka book](book.html) for further information on the Koka language.
*/
module toctoc

pub import std/core/typesstd/core/types
pub import std/core/unsafestd/core/unsafe
pub import std/core/undivstd/core/undiv
pub import std/corestd/core

pub import std/os/envstd/os/env
pub import std/os/flagsstd/os/flags
pub import std/os/pathstd/os/path
pub import std/os/filestd/os/file
pub import std/os/dirstd/os/dir
pub import std/os/processstd/os/process
pub import std/os/taskstd/os/task
pub import std/os/readlinestd/os/readline

pub import std/text/regexstd/text/regex
pub import std/text/parsestd/text/parse
pub import std/text/unicodestd/text/unicode

pub import std/num/int32std/num/int32
pub import std/num/int64std/num/int64
pub import std/num/float64std/num/float64
pub import std/num/decimalstd/num/decimal
pub import std/num/ddoublestd/num/ddouble
pub import std/num/randomstd/num/random

pub import std/timestd/time
pub import std/time/timestampstd/time/timestamp
pub import std/time/astrostd/time/astro
// pub import std/time/download
// pub import std/time/timezone
// pub import std/time/ut1

pub fun maintoc/main: () -> console ()()result: -> console ()
  printlnstd/core/console/string/println: (s : string) -> console ()("toc"literal: string
count= 3)