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