{-# LANGUAGE DeriveFunctor, DeriveGeneric, PatternSynonyms #-}
module CAS.Dumb (
(&~:), (&~?), (&~!), (&~~!), (&~~:), continueExpr
, Equality'((:=:))
, (%$>)
, module CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps
, CAS, CAS', SymbolD, Infix, Encapsulation
, showStructure, throwStructure
) where
import CAS.Dumb.Tree
import CAS.Dumb.Symbols
import CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps
hiding ((%$>), SymbolD, Encapsulation, Infix)
throwStructure :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰
throwStructure :: forall γ s² s¹ s⁰. CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰
throwStructure = forall a. HasCallStack => [Char] -> a
error forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall γ s² s¹ s⁰. CAS' γ s² s¹ s⁰ -> [Char]
showStructure