lean / keywords
77 entries at this level
- fa'aopoopo_decl_doc add_decl_doc
- uma all
- ma and
- faasologa Array
- faamautinoa assert
- fa'amaonia_le_exists assert_not_exists
- fa'amaonia_le_imported assert_not_imported
- asini async
- paluni Bool
- motu break
- e by
- pueina catch
- mata Char
- vasega class
- faʻatusatusa compare
- fa'aauau continue
- decreasing_e decreasing_by
- masani_instance default_instance
- deprecated_vaega deprecated_module
- fai do
- docs_i_verso docs_to_verso
- ae else
- fa'ai'u end
- fa'ai'u_fa'apitonu'u_lautele end_local_scope
- tutusa Eq
- sese error
- auina export
- fa'alautele extends
- malepe failure
- sese false
- faauiga finally
- float Float
- mo for
- mai from
- tulaga get
- faafanua HashMap
- aofa'i HashSet
- afai if
- aumai import
- i in
- int Int
- lē talafeagai invalid
- umi length
- faasologa List
- fa'apitonu'u local
- fetaui match
- fetaui_expr match_expr
- silisili max
- siʻisiʻi min
- totoe mod
- vaega module
- igoa name
- leai_fa'asino no_index
- leai none
- tatala open
- po or
- tumaoti private
- tomai Prod
- lautele public
- register_sese_explanation register_error_explanation
- toe return
- seti_option set_option
- umi size
- manoa String
- tactic_igoa tactic_name
- galuega Task
- termination_e termination_by
- lafo throw
- moni true
- taumafai try
- byte UInt8
- gaogao Unit
- talafeagai valid
- fesuisuia'i variable
- a'o while
- ma with
- ma_weak_namespace with_weak_namespace