lean / keywords
63 entries at this level
- wedzera_decl_doc add_decl_doc
- zvose all
- uye and
- arayi Array
- simbisa assert
- assert_kwete_exists assert_not_exists
- assert_kwete_imported assert_not_imported
- asynchronous async
- gwinyai Bool
- gura break
- ne by
- bata catch
- chizwi Char
- fananidzira compare
- enderera continue
- decreasing_ne decreasing_by
- ita do
- docs_kuenda_verso docs_to_verso
- kana else
- magumo end
- magumo_local_scope end_local_scope
- yakaenzana Eq
- kukanganisa error
- kunganisa failure
- nhema false
- nekupedzisisa finally
- nhambadiki Float
- ye for
- kubva from
- indekisi get
- mapi HashMap
- seti HashSet
- kana if
- mu in
- int Int
- hazvibvumirani invalid
- hurefu length
- arayi List
- kuwanda max
- shoma min
- masara mod
- zita name
- kwete_index no_index
- pasina none
- vhura open
- kana or
- tupuru Prod
- register_kanganiso_explanation register_error_explanation
- dzosa return
- hurefu size
- mutsara String
- tactic_zita tactic_name
- basa Task
- termination_ne termination_by
- rasa throw
- chokwadi true
- edza try
- byte UInt8
- hapana Unit
- zvinobvumirana valid
- kana while
- ne with
- ne_weak_namespace with_weak_namespace