lean / keywords
82 entries at this level
- addera_decl_doc add_decl_doc
- alla all
- och and
- array Array
- kontrollera assert
- hävda_inte_exists assert_not_exists
- hävda_inte_imported assert_not_imported
- asynkron async
- bool Bool
- bryt break
- av by
- fånga catch
- tecken char
- char Char
- klass class
- jämför compare
- fortsätt continue
- declare_syntax_katt declare_syntax_cat
- decreasing_av decreasing_by
- standard_instance default_instance
- deprecated_modul deprecated_module
- gör do
- docs_till_verso docs_to_verso
- annars else
- slut end
- slut_lokal_räckvidd end_local_scope
- lika Eq
- fel error
- exportera export
- utökar extends
- misslyckas failure
- falsk false
- slutligen finally
- float Float
- för for
- från from
- index get
- map HashMap
- mängd HashSet
- ha have
- om if
- importera import
- i in
- int Int
- ogiltig invalid
- längd length
- lista List
- lokal local
- matcha match
- matcha_expr match_expr
- max
- min
- modulo mod
- modul module
- namn name
- nej_index no_index
- ingenting none
- öppna open
- eller or
- privat private
- tupel Prod
- publik public
- register_fel_explanation register_error_explanation
- returnera return
- mängd_option set_option
- visa show
- visa_term_elab show_term_elab
- storlek size
- sträng String
- tactic_namn tactic_name
- uppgift Task
- termination_av termination_by
- kasta throw
- sann true
- försök try
- byte UInt8
- tomrum Unit
- giltig valid
- variabel variable
- medan while
- med with
- med_svag_namespace with_weak_namespace