module PreludeAll where
import PreludeBool public
import PreludeNat
import PreludeShow

open PreludeBool
open PreludeNat
open PreludeShow