lean / keywords
63 entries at this level
- ບວກ_decl_doc add_decl_doc
- ທັງໝົດ all
- ແລະ and
- ອາເຣ Array
- ຢືນຢັນ assert
- assert_ບໍ່_exists assert_not_exists
- assert_ບໍ່_imported assert_not_imported
- ອະຊິ້ງ async
- ບູລີນ Bool
- ໂດຍ by
- ດັກ catch
- ອັກສອນ Char
- ປຽບທຽບ compare
- decreasing_ໂດຍ decreasing_by
- ຄ່າເລີ່ມຕົ້ນ_instance default_instance
- deprecated_ໂມດູນ deprecated_module
- ເຮັດ do
- docs_ໄປ_verso docs_to_verso
- ສິ້ນສຸດ end
- ສິ້ນສຸດ_local_ຂອບເຂດ end_local_scope
- ເທົ່າກັນ Eq
- ຄວາມຜິດພາດ error
- ລົ້ມເຫລວ failure
- ບໍ່ຈິງ false
- ສຸດທ້າຍ finally
- float Float
- ຈາກ from
- ດັດຊະນີ get
- ແມັບ HashMap
- ເຊັດ HashSet
- ໃນ in
- int Int
- ບໍ່ສົມເຫດສົມຜົນ invalid
- ຄວາມຍາວ length
- ລາຍການ List
- ຈັບຄູ່ match
- ຈັບຄູ່_expr match_expr
- ສູງສຸດ max
- ຕໍ່າສຸດ min
- ເສດ mod
- ໂມດູນ module
- ຊື່ name
- ບໍ່_ດັດສະນີ no_index
- ບໍ່ມີ none
- ເປີດ open
- ຫຼື or
- ທູເພິນ Prod
- register_ຂໍ້ຜິດພາດ_explanation register_error_explanation
- ກຳນົດ_option set_option
- ຂະໜາດ size
- ສາຍອັກສອນ String
- tactic_ຊື່ tactic_name
- ວຽກ Task
- termination_ໂດຍ termination_by
- ຍົກ throw
- ຈິງ true
- ລອງ try
- byte UInt8
- ໂມຄະ Unit
- ສົມເຫດສົມຜົນ valid
- ຕົວແປ variable
- ກັບ with
- ກັບ_weak_namespace with_weak_namespace