2024-10-06 09:32:56 +01:00
|
|
|
structure AppUpdate =
|
|
|
|
|
struct
|
|
|
|
|
open AppType
|
|
|
|
|
|
2025-08-31 02:10:57 +01:00
|
|
|
fun update (app: app_type, msg, time) =
|
|
|
|
|
case #mode app of
|
|
|
|
|
NORMAL_MODE str => NormalMode.update (app, str, msg, time)
|
|
|
|
|
| NORMAL_SEARCH_MODE str => NormalSearchMode.update (app, str, msg, time)
|
2024-10-06 09:32:56 +01:00
|
|
|
end
|
