module PlutusCore.Default
  ( module Export
  ) where

import PlutusCore.Default.Builtins as Export
import PlutusCore.Default.Universe as Export