lean / keywords
111 entries at this level
- gatta_decl_doc add_decl_doc
- byonna all
- ne and
- array Array
- kakasa assert
- kakasa_si_exists assert_not_exists
- kakasa_si_imported assert_not_imported
- etoolwa async
- akakwaate attribute
- enneyisa behavior
- booleni Bool
- byombi both
- menya break
- ku by
- kwata catch
- akabonero char
- akamanyiddwa Char
- ekika class
- gezaamu compare
- weeyongere continue
- dbg_okuziga dbg_trace
- declare_syntax_kkapa declare_syntax_cat
- decreasing_ku decreasing_by
- okukosamu_ekiliwo default_instance
- kola do
- docs_ku_verso docs_to_verso
- elab_amateeka elab_rules
- oba else
- enkomerero end
- enkomerero_local_ekitundu end_local_scope
- bafaanana Eq
- nsobi error
- eky'okulabirako example
- -suubirwa expected
- fulumya export
- okwabya expose
- yongera extends
- lemwa failure
- sikituufu false
- bukyamu finally
- float Float
- ku for
- okuva from
- okunyumirwa fun
- index get
- map HashMap
- sitii HashSet
- -ina have
- bwe if
- yingiza import
- mu in
- okubeeramu include
- ekiliwo instance
- int Int
- tekituukirira invalid
- bugulumivu length
- leka let
- leka_kikeerezi let_delayed
- leka_expr let_expr
- leka_okunyumirwa let_fun
- leka_tmp let_tmp
- array List
- macro_amateeka macro_rules
- tuukana match
- tuukana_expr match_expr
- nnyingi max
- ntonotono min
- okusigala mod
- erinnya name
- nedda_ennamba no_index
- waakiri none
- ggulawo open
- oba or
- kyekusifu private
- tuple Prod
- okulagirira_spelling recommended_spelling
- okwewandiisa_ensobi_okunnyonnyola register_error_explanation
- okwewandiisa_parser_alias register_parser_alias
- okwewandiisa_tactic_erinnya register_tactic_tag
- okuddamu repeat
- zaayo return
- akabondo section
- biggate_eky'olondako set_option
- okulaga show
- okulaga_ekisanja_elab show_term_elab
- okuva since
- bugulumivu size
- okubuuka skip
- nsonyiwa sorry
- ensiriimu String
- enkula structure
- akabonero symbol
- tactic_okwongezaayo tactic_extension
- tactic_erinnya tactic_name
- tactic_erinnya tactic_tag
- omulimu Task
- ekisanja term
- termination_ku termination_by
- awo then
- laga throw
- kituufu true
- gezaako try
- byte UInt8
- bussa Unit
- ekitamanyikiddwa unknown
- kituukirira valid
- ekikyukakyuka variable
- wa where
- okumala while
- ne with
- ne_obunafu_namespace with_weak_namespace