aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DoAndIfThenElse/do-and-if-then-else-basic.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DoAndIfThenElse #-}

module DoAndIfThenElseBasic where

choose :: Bool -> Maybe Int
choose cond = do
  if cond
  then pure 1
  else pure 2