lean / keywords
77 entries at this level
- voegtoe_decl_doc add_decl_doc
- alle all
- en and
- array Array
- bevestig assert
- beweer_niet_exists assert_not_exists
- beweer_niet_imported assert_not_imported
- async
- booleaans Bool
- breek break
- per by
- vang catch
- teken char
- teken Char
- klasse class
- vergelijk compare
- declare_syntax_kat declare_syntax_cat
- decreasing_per decreasing_by
- standaard_instance default_instance
- doe do
- docs_naar_verso docs_to_verso
- anders else
- einde end
- einde_lokaal_bereik end_local_scope
- gelijk Eq
- fout error
- exporteer export
- mislukt failure
- onwaar false
- tenslotte finally
- float Float
- voor for
- van from
- index get
- map HashMap
- verzameling HashSet
- hebben have
- als if
- importeer import
- int Int
- ongeldig invalid
- lengte length
- lijst List
- lokaal local
- lucifer match
- lucifer_expr match_expr
- max
- min
- modulo mod
- naam name
- nee_index no_index
- leeg none
- openen open
- of or
- privé private
- tuple Prod
- publiek public
- register_fout_explanation register_error_explanation
- geefterug return
- stelin_option set_option
- tonen show
- tonen_term_elab show_term_elab
- grootte size
- string String
- tactic_naam tactic_name
- taak Task
- termination_per termination_by
- gooi throw
- waar true
- probeer try
- byte UInt8
- niets Unit
- geldig valid
- variabele variable
- zolang while
- met with
- met_zwak_namespace with_weak_namespace