inFmtFuncDesc :: Reader DrasilState String
inFmtFuncDesc = do
  g <- ask
  let ifDesc False = ""
      ifDesc _ = "Reads input from a file with the given file name"
  return $ ifDesc $ "get_input" `elem` defList (codeSpec g)
inFmtFuncDesc :: Reader DrasilState String
inFmtFuncDesc = do
  g <- ask
  let ifDesc False = ""
      ifDesc _ = "Reads input from a file with the given file name"
  return $ ifDesc $ "get_input" `elem` defList (codeSpec g)
inFmtFuncDesc = do
  g <- ask
  let ifDesc False = ""
      ifDesc _ = "Reads input from a file with the given file name"
  return $ ifDesc $ "get_input" `elem` defList (codeSpec g)