lean / keywords
79 entries at this level
- adaugă_decl_doc add_decl_doc
- toate all
- și and
- tablou Array
- afirmă assert
- asigură_nu_exists assert_not_exists
- asigură_nu_imported assert_not_imported
- asincron async
- boolean Bool
- întrerupe break
- după by
- prinde catch
- caracter char
- caracter Char
- clasă class
- compara compare
- continuă continue
- declare_syntax_pisică declare_syntax_cat
- decreasing_după decreasing_by
- implicit_instance default_instance
- deprecated_modul deprecated_module
- fă do
- docs_la_verso docs_to_verso
- altfel else
- sfârșit end
- sfârșit_local_domeniu end_local_scope
- egal Eq
- eroare error
- exportă export
- extinde extends
- eșuează failure
- fals false
- final finally
- float Float
- pentru for
- din from
- indice get
- mapă HashMap
- mulțime HashSet
- avea have
- dacă if
- importă import
- în in
- int Int
- invalid
- lungime length
- listă List
- potrivește match
- potrivește_expr match_expr
- maxim max
- minim min
- modulo mod
- modul module
- nume name
- nu_index no_index
- nul none
- deschide open
- sau or
- privat private
- tuplu Prod
- register_eroare_explanation register_error_explanation
- returnează return
- setează_option set_option
- arăta show
- arăta_term_elab show_term_elab
- dimensiune size
- șir String
- tactic_nume tactic_name
- task Task
- termination_după termination_by
- aruncă throw
- adevărat true
- încearcă try
- octet UInt8
- vid Unit
- valid
- variabilă variable
- cu with
- cu_slab_namespace with_weak_namespace