lean / keywords
78 entries at this level
- thêm_decl_doc add_decl_doc
- tất_cả all
- và and
- mảng Array
- khẳngđịnh assert
- khẳng_định_phủ_định_exists assert_not_exists
- khẳng_định_phủ_định_imported assert_not_imported
- bấtđồngbộ async
- luậnlý Bool
- thoát break
- theo by
- bắt catch
- ký_tự char
- kýtự Char
- lớp class
- sosánh compare
- tiếp_tục continue
- decreasing_theo decreasing_by
- mặc_định_instance default_instance
- deprecated_mô_đun deprecated_module
- làm do
- docs_đến_verso docs_to_verso
- ngược_lại else
- kết_thúc end
- kết_thúc_cục_bộ_phạm_vi end_local_scope
- bằng Eq
- lỗi error
- xuất export
- kế_thừa extends
- thấtbại failure
- sai false
- cuối finally
- thựcphẩy Float
- cho for
- từ from
- chỉsố get
- map HashMap
- tậphợp HashSet
- nếu if
- nhập import
- trong in
- nguyên Int
- không hợp lệ invalid
- độdài length
- mảng List
- cục_bộ local
- khớp match
- khớp_expr match_expr
- lớnnhất max
- nhỏnhất min
- modulo mod
- mô_đun module
- tên name
- không_chỉ_số no_index
- rỗng none
- mở open
- hoặc or
- riêng_tư private
- bộ Prod
- công_khai public
- register_lỗi_explanation register_error_explanation
- trả_về return
- đặt_option set_option
- size
- chuỗi String
- tactic_tên tactic_name
- tácvụ Task
- termination_theo termination_by
- ném throw
- đúng true
- thử try
- byte UInt8
- trống Unit
- hợp lệ valid
- biến variable
- trong_khi while
- với with
- với_weak_namespace with_weak_namespace