EXECUTED_PROGRAM

ret > ExitSuccess
out > EraseRefl.decEq₂ =
out >   λ _ _ _ _ _ _ _ _ _ _ _ _ _ a b →
out >     case a of
out >       EraseRefl.Dec.yes _ →
out >         case b of
out >           EraseRefl.Dec.yes _ → EraseRefl.Dec.yes _
out >           EraseRefl.Dec.no _ → EraseRefl.Dec.no _
out >       EraseRefl.Dec.no _ → EraseRefl.Dec.no _
out > EraseRefl.main = Common.IO.putStrLn ""
out >
out >
