lean / keywords
80 entries at this level
- tānaki_decl_doc add_decl_doc
- kotoa all
- mo and
- faʻunga Array
- fakamoʻoni assert
- fakapapau_ʻikai_exists assert_not_exists
- fakapapau_ʻikai_imported assert_not_imported
- asinkoni async
- mo'oni'ikai Bool
- motuhi break
- ʻe by
- puke catch
- fakataha Char
- kalasi class
- fakakitekite compare
- hokohoko continue
- declare_syntax_pusi declare_syntax_cat
- decreasing_ʻe decreasing_by
- angamaheni_instance default_instance
- deprecated_konga deprecated_module
- fai do
- docs_ki_verso docs_to_verso
- kehe else
- ngata end
- ngata_fakalotofonua_ʻātakai end_local_scope
- tatau Eq
- hala error
- ʻave export
- fakalahi extends
- hala failure
- hala false
- fakamuimui finally
- fikahuhu Float
- ki for
- mei from
- fika get
- fakalotolahi HashMap
- kopuʻi HashSet
- kapau if
- ʻomi import
- ʻi in
- int Int
- hala invalid
- lōloa length
- lisi List
- fakalotofonua local
- fetaulaki match
- fetaulaki_expr match_expr
- lahi max
- si'isi'i min
- toetuʻu mod
- konga module
- hingoa name
- ʻikai_fika no_index
- 'ikai none
- fakaava open
- pe or
- fakatautaha private
- tukuʻi Prod
- fakapuleʻanga public
- register_hala_explanation register_error_explanation
- foki return
- fokotuʻu_option set_option
- faka-hā show
- faka-hā_term_elab show_term_elab
- fuofua size
- huʻanga String
- tactic_hingoa tactic_name
- ngāue Task
- termination_ʻe termination_by
- lī throw
- moʻoni true
- feinga try
- pait UInt8
- kova Unit
- totonu valid
- fetongi variable
- lolotonga while
- mo with
- mo_vaivai_namespace with_weak_namespace