lean / keywords
69 entries at this level
- eketsa_decl_doc add_decl_doc
- tsohle all
- le and
- mokhahlelo Array
- netefatsa assert
- netefatsa_eseng_exists assert_not_exists
- netefatsa_eseng_imported assert_not_imported
- async
- boolo Bool
- kgaola break
- ka by
- tshwara catch
- tlhaku char
- sontsi Char
- sehlopha class
- bapisa compare
- tswela continue
- decreasing_ka decreasing_by
- etsa do
- docs_ho_verso docs_to_verso
- kapa else
- qetello end
- qetello_local_scope end_local_scope
- lekanang Eq
- phoso error
- romela export
- phoso failure
- bohata false
- qetela finally
- float Float
- bakeng for
- nomoro get
- papiso HashMap
- sehlopha HashSet
- haeba if
- kenya import
- int Int
- e sa phethahalang invalid
- bolelele length
- lenanelo List
- tshwana match
- tshwana_expr match_expr
- fetisisa max
- fokolisisa min
- setsela mod
- lebitso name
- tjhe_index no_index
- esena none
- bula open
- kapa or
- tuple Prod
- register_phoso_explanation register_error_explanation
- kgutlisa return
- behela_option set_option
- bogolo size
- letoto String
- tactic_lebitso tactic_name
- mosebetsi Task
- termination_ka termination_by
- lahlela throw
- nnete true
- leka try
- byte UInt8
- feela Unit
- e phethahetseng valid
- phetoho variable
- ha while
- le with
- le_weak_namespace with_weak_namespace