-- | This module re-exports "Function.Step.Discrete.Open"
module Data.Function.Step.Discrete (
    module Data.Function.Step.Discrete.Open,
    ) where

import Data.Function.Step.Discrete.Open