lean / keywords
75 entries at this level
- leggtil_decl_doc add_decl_doc
- alle all
- og and
- array Array
- sjekk assert
- påstå_ikke_exists assert_not_exists
- påstå_ikke_imported assert_not_imported
- asynkron async
- boolsk Bool
- bryt break
- etter by
- fang catch
- tegn char
- char Char
- klasse class
- sammenlign compare
- fortsett continue
- decreasing_etter decreasing_by
- standard_instance default_instance
- deprecated_modul deprecated_module
- gjør do
- docs_til_verso docs_to_verso
- ellers else
- slutt end
- slutt_lokal_omfang end_local_scope
- lik Eq
- feil error
- eksporter export
- utvider extends
- feil failure
- usann false
- sist finally
- float Float
- fra from
- indeks get
- map HashMap
- sett HashSet
- hvis if
- importer import
- i in
- int Int
- ugyldig invalid
- lengde length
- liste List
- lokal local
- maks max
- min
- modulo mod
- modul module
- navn name
- nei_indeks no_index
- ingenting none
- åpne open
- eller or
- privat private
- tuppel Prod
- offentlig public
- register_feil_explanation register_error_explanation
- returner return
- sett_option set_option
- størrelse size
- streng String
- tactic_navn tactic_name
- oppgave Task
- termination_etter termination_by
- kast throw
- sann true
- prøv try
- byte UInt8
- tom Unit
- gyldig valid
- variabel variable
- mens while
- med with
- med_weak_namespace with_weak_namespace