lean / keywords
78 entries at this level
- нэмэх_decl_doc add_decl_doc
- бүгд all
- ба and
- массив Array
- баталгаажуул assert
- баталгаажуулах_биш_exists assert_not_exists
- баталгаажуулах_биш_imported assert_not_imported
- асинк async
- логик Bool
- таслах break
- ээр by
- авах catch
- тэмдэгт char
- тэмдэгт Char
- анги class
- харьцуул compare
- үргэлжлүүлэх continue
- decreasing_ээр decreasing_by
- анхдагч_instance default_instance
- deprecated_модуль deprecated_module
- хийх do
- docs_руу_verso docs_to_verso
- эсвэл else
- төгсгөл end
- төгсгөл_локал_хүрээ end_local_scope
- тэнцүү Eq
- алдаа error
- экспорт export
- өргөтгөх extends
- алдаа failure
- худал false
- эцэст finally
- хөвөгч Float
- давталт for
- аас from
- индекс get
- толь HashMap
- олонлог HashSet
- хэрэв if
- импорт import
- дотор in
- бүтэн Int
- хүчингүй invalid
- урт length
- жагсаалт List
- локал local
- тааруулах match
- тааруулах_expr match_expr
- макс max
- мин min
- модуло mod
- модуль module
- нэр name
- үгүй_индекс no_index
- хоосон none
- нээх open
- буюу or
- хувийн private
- кортеж Prod
- нийтийн public
- register_алдаа_explanation register_error_explanation
- буцаах return
- олонлог_option set_option
- хэмжээ size
- мөр String
- tactic_нэр tactic_name
- даалгавар Task
- termination_ээр termination_by
- шид throw
- үнэн true
- турш try
- байт UInt8
- юмгүй Unit
- хүчинтэй valid
- хувьсагч variable
- хүртэл while
- хамт with
- хамт_weak_namespace with_weak_namespace