lean / keywords
75 entries at this level
- voeg_by_decl_doc add_decl_doc
- almal all
- en and
- skikking Array
- beweer assert
- beweer_nie_exists assert_not_exists
- beweer_nie_imported assert_not_imported
- asinkroon async
- booleaans Bool
- breek break
- deur by
- vang catch
- kar char
- char Char
- klas class
- vergelyk compare
- gaan_voort continue
- decreasing_deur decreasing_by
- verstek_instance default_instance
- doen do
- docs_na_verso docs_to_verso
- anders else
- einde end
- einde_lokaal_omvang end_local_scope
- gelyk Eq
- fout error
- uitvoer export
- brei_uit extends
- misluk failure
- onwaar false
- uiteindelik finally
- float Float
- vir for
- van from
- indeks get
- kaart HashMap
- versameling HashSet
- as if
- invoer import
- int Int
- ongeldig invalid
- lengte length
- lys List
- lokaal local
- pas match
- pas_expr match_expr
- maks max
- min
- modulo mod
- naam name
- nee_indeks no_index
- geen none
- oop open
- of or
- privaat private
- tuple Prod
- openbaar public
- register_fout_explanation register_error_explanation
- gee_terug return
- stel_option set_option
- grootte size
- string String
- tactic_naam tactic_name
- taak Task
- termination_deur termination_by
- gooi throw
- waar true
- probeer try
- greep UInt8
- leeg Unit
- geldig valid
- veranderlike variable
- terwyl while
- met with
- met_weak_namespace with_weak_namespace