lean / keywords
82 entries at this level
- lisa_decl_doc add_decl_doc
- kõik all
- ja and
- massiiv Array
- kinnita assert
- kinnita_mitte_exists assert_not_exists
- kinnita_mitte_imported assert_not_imported
- async
- tõeväärtus Bool
- katkesta break
- järgi by
- püüa catch
- märk char
- märk Char
- klass class
- võrdle compare
- jätka continue
- declare_syntax_kass declare_syntax_cat
- decreasing_järgi decreasing_by
- vaikimisi_instance default_instance
- deprecated_moodul deprecated_module
- tee do
- docs_kuni_verso docs_to_verso
- muidu else
- lõpp end
- lõpp_lokaalne_ulatus end_local_scope
- võrdne Eq
- viga error
- ekspordi export
- laiendab extends
- viga failure
- väär false
- lõpuks finally
- ujukomaarv Float
- iga for
- kust from
- indeks get
- sõnastik HashMap
- hulk HashSet
- olema have
- kui if
- impordi import
- sees in
- int Int
- kehtetu invalid
- pikkus length
- loend List
- lokaalne local
- sobita match
- sobita_expr match_expr
- maksimum max
- miinimum min
- modulo mod
- moodul module
- nimi name
- ei_indeks no_index
- tühi none
- ava open
- või or
- privaatne private
- ennik Prod
- avalik public
- register_viga_explanation register_error_explanation
- tagasta return
- hulk_option set_option
- næitama show
- næitama_term_elab show_term_elab
- suurus size
- sõne String
- tactic_nimi tactic_name
- ülesanne Task
- termination_järgi termination_by
- viska throw
- tõene true
- proovi try
- bait UInt8
- tühisus Unit
- kehtiv valid
- muutuja variable
- kuni while
- koos with
- koos_nər̃k_namespace with_weak_namespace