lean / keywords
78 entries at this level
- fikún_decl_doc add_decl_doc
- gbogbo all
- àti and
- àtòjọ Array
- jẹrìísí assert
- fìdíhàn_kọ́_exists assert_not_exists
- fìdíhàn_kọ́_imported assert_not_imported
- àìdámúrasílẹ̀ async
- ooto Bool
- fọ́ break
- látọwọ́ by
- mu catch
- àmì char
- lẹta Char
- ẹ̀ka class
- ṣàfiwéra compare
- tẹ̀síwájú continue
- decreasing_látọwọ́ decreasing_by
- ìpilẹ̀_instance default_instance
- deprecated_módúù deprecated_module
- ṣe do
- docs_sí_verso docs_to_verso
- bíbẹ́ẹ̀kọ́ else
- ìparí end
- ìparí_agbègbè_agbègbè end_local_scope
- dọgba Eq
- aṣiṣe error
- kójáde export
- gbòòrò extends
- kùnà failure
- àìtọ́ false
- nikẹhin finally
- float Float
- fún for
- láti from
- atọ́ka get
- mápù HashMap
- àkójọ HashSet
- bí if
- kówọlé import
- nínú in
- int Int
- àìtọ́nà invalid
- gígùn length
- àtòjọ List
- agbègbè local
- bámu match
- bámu_expr match_expr
- nládejù max
- kéréjù min
- iyokù mod
- módúù module
- orúkọ name
- rárá_àtọ́ka no_index
- òfìfo none
- ṣí open
- tàbí or
- aládáni private
- ẹgbẹ́ Prod
- gbangba public
- register_àṣìṣe_explanation register_error_explanation
- padà return
- ìṣètò_option set_option
- ìwọ̀n size
- ọrọ String
- tactic_orúkọ tactic_name
- iṣẹ́ Task
- termination_látọwọ́ termination_by
- sọ throw
- òótọ́ true
- gbiyanju try
- byte UInt8
- àìsí Unit
- tọ́nà valid
- ayípadà variable
- nígbàtí while
- pẹ̀lú with
- pẹ̀lú_weak_namespace with_weak_namespace