
  0 | module Web.Async.Extra.I18n
  1 | 
  2 | import public Web.Async.I18n
  3 | 
  4 | %default total
  5 | 
  6 | public export
  7 | interface ExtraLocal where
  8 |   clearTxt              : String
  9 |   logTxt                : String
 10 | 
 11 |