Add instance Pretty MultiOr (#2652)

Author: ttuegel

kore/src/Kore/Internal/MultiOr.hs

@@ -53,6 +53,9 @@ import Kore.Syntax.Application (
 import Kore.TopBottom (
     TopBottom (..),
  )
+import Kore.Unparser (
+    unparseAssoc',
+ )
 import Logic (
     Logic,
     LogicT,
@@ -63,6 +66,9 @@ import Prelude.Kore hiding (
     map,
     traverse,
  )
+import Pretty (
+    Pretty (..),
+ )
 
 -- | 'MultiOr' is a Matching logic or of its children
 newtype MultiOr child = MultiOr {getMultiOr :: [child]}
@@ -77,6 +83,10 @@ instance Debug child => Debug (MultiOr child)
 
 instance (Debug child, Diff child) => Diff (MultiOr child)
 
+instance Pretty child => Pretty (MultiOr child) where
+    pretty = unparseAssoc' "\\or{_}" "\\bottom{_}()" . (<$>) pretty . getMultiOr
+    {-# INLINE pretty #-}
+
 instance (Ord child, TopBottom child) => Semigroup (MultiOr child) where
     (MultiOr []) <> b = b
     a <> (MultiOr []) = a