Description
This module reexports most of the standard library.
Definitions
open import Stdlib.Data.Bool public
open import Stdlib.Data.List public
open import Stdlib.Data.Maybe public
open import Stdlib.Data.Nat public
open import Stdlib.Data.Int hiding {+;*;div;mod} public
open import Stdlib.Data.Product public
open import Stdlib.Data.String public
open import Stdlib.Function public
open import Stdlib.System.IO public