module Stdlib.Prelude;
  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.Product public;
  open import Stdlib.Data.String public;
  open import Stdlib.Function public;
  open import Stdlib.System.IO public;
end;