lean / keywords
80 entries at this level
- tilføj_decl_doc add_decl_doc
- alle all
- og and
- array Array
- hævd assert
- påstå_ikke_exists assert_not_exists
- påstå_ikke_imported assert_not_imported
- asynkron async
- boolsk Bool
- bryd break
- efter by
- fang catch
- tegn char
- tegn Char
- klasse class
- sammenlign compare
- fortsæt continue
- declare_syntax_kat declare_syntax_cat
- decreasing_efter decreasing_by
- standard_instance default_instance
- deprecated_modul deprecated_module
- gør do
- docs_til_verso docs_to_verso
- ellers else
- slut end
- slut_lokal_scope end_local_scope
- lig Eq
- fejl error
- eksportér export
- udvider extends
- fejl failure
- falsk false
- endelig finally
- float Float
- fra from
- indeks get
- map HashMap
- sæt HashSet
- hvis if
- importér import
- i in
- int Int
- ugyldig invalid
- længde length
- liste List
- lokal local
- tændstik match
- tændstik_expr match_expr
- max
- min
- modulo mod
- modul module
- navn name
- nej_indeks no_index
- ingen none
- åbn open
- eller or
- privat private
- tuple Prod
- offentlig public
- register_fejl_explanation register_error_explanation
- returnér return
- sæt_option set_option
- vise show
- vise_term_elab show_term_elab
- størrelse size
- streng String
- tactic_navn tactic_name
- opgave Task
- termination_efter termination_by
- kast throw
- sand true
- forsøg try
- byte UInt8
- intet Unit
- gyldig valid
- variabel variable
- mens while
- med with
- med_svag_namespace with_weak_namespace