lean / keywords
77 entries at this level
- ongeza_decl_doc add_decl_doc
- zote all
- na and
- safu Array
- thibitisha assert
- thibitisha_si_exists assert_not_exists
- thibitisha_si_imported assert_not_imported
- async
- mantiki Bool
- vunja break
- kwa by
- kamata catch
- herufi Char
- darasa class
- linganisha compare
- endelea continue
- decreasing_kwa decreasing_by
- chaguo_instance default_instance
- deprecated_moduli deprecated_module
- fanya do
- docs_kwa_verso docs_to_verso
- vinginevyo else
- mwisho end
- mwisho_ndani_wigo end_local_scope
- sawa Eq
- hitilafu error
- hamisha export
- panua extends
- shindwa failure
- si kweli false
- mwisho finally
- desimali Float
- kwa for
- kutoka from
- faharisi get
- mapi HashMap
- mkusanyo HashSet
- kama if
- leta import
- ndani in
- int Int
- batili invalid
- urefu length
- orodha List
- ndani local
- linganisha match
- linganisha_expr match_expr
- juu max
- kima min
- modulo mod
- moduli module
- jina name
- hapana_kielezo no_index
- tupu none
- fungua open
- au or
- binafsi private
- kikundi Prod
- umma public
- register_hitilafu_explanation register_error_explanation
- rudisha return
- weka_option set_option
- ukubwa size
- mfuatano String
- tactic_jina tactic_name
- kazi Task
- termination_kwa termination_by
- tupa throw
- kweli true
- jaribu try
- byte UInt8
- batili Unit
- halali valid
- kigeu variable
- wakati while
- na with
- na_weak_namespace with_weak_namespace