woFuncDesc :: Reader DrasilState String
woFuncDesc = do
  g <- ask
  let woDesc False = ""
      woDesc _ = "Writes the output values to output.txt"
  return $ woDesc $ "write_output" `elem` defList (codeSpec g)
woFuncDesc :: Reader DrasilState String
woFuncDesc = do
  g <- ask
  let woDesc False = ""
      woDesc _ = "Writes the output values to output.txt"
  return $ woDesc $ "write_output" `elem` defList (codeSpec g)
woFuncDesc = do
  g <- ask
  let woDesc False = ""
      woDesc _ = "Writes the output values to output.txt"
  return $ woDesc $ "write_output" `elem` defList (codeSpec g)