lean / keywords
82 entries at this level
- pievienot_decl_doc add_decl_doc
- visi all
- un and
- masīvs Array
- pārbaudīt assert
- apgalvot_ne_exists assert_not_exists
- apgalvot_ne_imported assert_not_imported
- asinhr async
- būla Bool
- pārtraukt break
- pēc by
- noķert catch
- rakstzīme char
- rakstzīme Char
- klase class
- salīdzināt compare
- turpināt continue
- declare_syntax_kak̩is declare_syntax_cat
- decreasing_pēc decreasing_by
- noklusējums_instance default_instance
- deprecated_modulis deprecated_module
- darīt do
- docs_uz_verso docs_to_verso
- citādi else
- beigas end
- beigas_lokāls_tvērums end_local_scope
- vienāds Eq
- kļūda error
- eksportēt export
- paplašina extends
- kļūdīties failure
- aplams false
- galīgi finally
- peldošs Float
- priekš for
- no from
- indekss get
- vārdnīca HashMap
- kopa HashSet
- būt have
- ja if
- importēt import
- iekš in
- int Int
- nepareizs invalid
- garums length
- saraksts List
- lokāls local
- sakrist match
- sakrist_expr match_expr
- max
- min
- modulis mod
- modulis module
- nosaukums name
- nē_indekss no_index
- nekā none
- atvērt open
- vai or
- privāts private
- kortežs Prod
- publisks public
- register_kļūda_explanation register_error_explanation
- atgriezt return
- kopa_option set_option
- rādīt show
- rādīt_term_elab show_term_elab
- lielums size
- virkne String
- tactic_nosaukums tactic_name
- uzdevums Task
- termination_pēc termination_by
- mest throw
- patiess true
- mēģināt try
- baits UInt8
- bezvērtīgs Unit
- pareizs valid
- mainīgais variable
- kamēr while
- ar with
- ar_vājš_namespace with_weak_namespace