lean / keywords
82 entries at this level
- pridėti_decl_doc add_decl_doc
- visi all
- ir and
- masyvas Array
- patikrinti assert
- tvirtinti_ne_exists assert_not_exists
- tvirtinti_ne_imported assert_not_imported
- asinchroninis async
- loginis Bool
- nutraukti break
- pagal by
- gaudyti catch
- simbolis char
- simbolis Char
- klasė class
- palyginti compare
- tęsti continue
- declare_syntax_katẽ̇ declare_syntax_cat
- decreasing_pagal decreasing_by
- numatytasis_instance default_instance
- deprecated_modulis deprecated_module
- daryti do
- docs_iki_verso docs_to_verso
- kitaip else
- pabaiga end
- pabaiga_vietinis_sritis end_local_scope
- lygus Eq
- klaida error
- eksportuoti export
- išplečia extends
- nepavykti failure
- klaidinga false
- galiausia finally
- slankusis Float
- ciklui for
- iš from
- indeksas get
- žodynas HashMap
- aibė HashSet
- turé̇ti have
- jei if
- importuoti import
- tarp in
- sveikasis Int
- negaliojantis invalid
- ilgis length
- sąrašas List
- vietinis local
- atitikti match
- atitikti_expr match_expr
- maksimalus max
- minimalus min
- modulis mod
- modulis module
- vardas name
- ne_indeksas no_index
- niekas none
- atverti open
- arba or
- privatus private
- kortežas Prod
- viešas public
- register_klaida_explanation register_error_explanation
- grąžinti return
- aibė_option set_option
- ródyti show
- ródyti_term_elab show_term_elab
- dydis size
- eilute String
- tactic_vardas tactic_name
- užduotis Task
- termination_pagal termination_by
- mesti throw
- teisinga true
- bandyti try
- baitas UInt8
- tuščia Unit
- galiojantis valid
- kintamasis variable
- kol while
- su with
- su_sil̃pnas_namespace with_weak_namespace