lean / keywords
78 entries at this level
- ongeraho_decl_doc add_decl_doc
- byose all
- na and
- urutonde Array
- menya assert
- emeza_ntabwo_exists assert_not_exists
- emeza_ntabwo_imported assert_not_imported
- ntarunganwe async
- ikemeza Bool
- hagarika break
- na by
- gufata catch
- inyuguti char
- inyuguti Char
- ishuri class
- geranya compare
- komeza continue
- decreasing_na decreasing_by
- isanzwe_instance default_instance
- deprecated_igice deprecated_module
- kora do
- docs_kuri_verso docs_to_verso
- ubundi else
- iherezo end
- iherezo_aho_intera end_local_scope
- ringana Eq
- ikosa error
- ohereza export
- yongera extends
- gunanira failure
- sibyo false
- hanyuma finally
- idumanika Float
- kuri for
- kuva from
- inomero get
- ikarita HashMap
- rusange HashSet
- niba if
- injiza import
- muri in
- int Int
- bitemewe invalid
- burebure length
- urutonde List
- aho local
- ihuza match
- ihuza_expr match_expr
- ntarenguka max
- ntarengwa min
- saldu mod
- igice module
- izina name
- oya_umubare no_index
- ubusa none
- fungura open
- cyangwa or
- bwite private
- tuple Prod
- rusange public
- register_ikosa_explanation register_error_explanation
- garuka return
- shyiraho_option set_option
- burebure size
- umuroroz String
- tactic_izina tactic_name
- akazi Task
- termination_na termination_by
- tuza throw
- nyakuri true
- gerageza try
- byte UInt8
- impfabusa Unit
- byemewe valid
- impinduragaciro variable
- mugihe while
- hamwe with
- hamwe_weak_namespace with_weak_namespace