lean / keywords
76 entries at this level
- addéieren_decl_doc add_decl_doc
- an and
- Array
- behaapten assert
- verlaangen_net_exists assert_not_exists
- verlaangen_net_imported assert_not_imported
- async
- Boolesch Bool
- ofbriechen break
- vun by
- fangen catch
- Zeechen Char
- klass class
- vergläichen compare
- weidermaachen continue
- decreasing_vun decreasing_by
- standard_instance default_instance
- deprecated_modul deprecated_module
- maachen do
- docs_op_verso docs_to_verso
- soss else
- enn end
- enn_lokal_scope end_local_scope
- gläich Eq
- Feeler error
- exportéieren export
- erweidert extends
- feelen failure
- falsch false
- schliisslech finally
- float Float
- fir for
- vun from
- Index get
- Kaart HashMap
- Satz HashSet
- wann if
- importéieren import
- an in
- int Int
- ongülteg invalid
- Längt length
- Lëscht List
- lokal local
- passt match
- passt_expr match_expr
- Maximum max
- Minimum min
- modulo mod
- modul module
- numm name
- neen_index no_index
- näischt none
- opmaachen open
- oder or
- privat private
- Tupel Prod
- ëffentlech public
- register_feeler_explanation register_error_explanation
- zréckginn return
- setzen_option set_option
- Längt size
- String
- tactic_numm tactic_name
- Aufgab Task
- termination_vun termination_by
- werfen throw
- wouer true
- probéieren try
- byte UInt8
- leer Unit
- gülteg valid
- variabel variable
- soulaang while
- mat with
- mat_weak_namespace with_weak_namespace