lean / keywords
76 entries at this level
- kudar_decl_doc add_decl_doc
- dhammaan all
- iyo and
- taxane Array
- xaqiiji assert
- xaqiiji_maaha_exists assert_not_exists
- xaqiiji_maaha_imported assert_not_imported
- asynchronous async
- labadaran Bool
- jab break
- ku by
- qabo catch
- xaraf char
- xaraf Char
- fasal class
- barbardhig compare
- sii continue
- decreasing_ku decreasing_by
- caadi_instance default_instance
- deprecated_qayb deprecated_module
- samee do
- docs_ilaa_verso docs_to_verso
- haddiikale else
- dhammaad end
- dhammaad_maxalli_baaxad end_local_scope
- sinnaansho Eq
- khalad error
- dhoofi export
- fidiya extends
- guuldarays failure
- been false
- ugudambays finally
- jajabdaran Float
- u for
- ka from
- lambarka get
- sawir HashMap
- koox HashSet
- haddii if
- int Int
- aan saxnayn invalid
- dherer length
- taxane List
- maxalli local
- iswaafaji match
- iswaafaji_expr match_expr
- uguweyn max
- uguyar min
- haraaga mod
- qayb module
- magac name
- maya_tusmo no_index
- maran none
- fur open
- ama or
- gaar private
- xumbo Prod
- guud public
- register_qalad_explanation register_error_explanation
- celi return
- deji_option set_option
- cabbir size
- xarafkudar String
- tactic_magac tactic_name
- hawlgal Task
- termination_ku termination_by
- tuur throw
- run true
- iskuday try
- byte UInt8
- waxba Unit
- saxan valid
- doorsoome variable
- inta while
- la with
- la_weak_namespace with_weak_namespace