module Mikan.Interaction.Output where

import Mikan.Interaction.Base

import Mikan.TypeChecking.Monad.Base (TCErr)

--------------------------
-- * TCM-aware aliases
--------------------------

type OutputForm a b = OutputForm_boot TCErr a b

type OutputConstraint a b = OutputConstraint_boot TCErr a b