lean / keywords
78 entries at this level
- tambah_decl_doc add_decl_doc
- semua all
- dan and
- larik Array
- pastikan assert
- pastikan_bukan_exists assert_not_exists
- pastikan_bukan_imported assert_not_imported
- asinkron async
- boolean Bool
- berhenti break
- oleh by
- tangkap catch
- karakter char
- karakter Char
- kelas class
- bandingkan compare
- lanjut continue
- decreasing_oleh decreasing_by
- bawaan_instance default_instance
- deprecated_modul deprecated_module
- lakukan do
- docs_ke_verso docs_to_verso
- lainnya else
- akhir end
- akhir_lokal_cakupan end_local_scope
- sama Eq
- galat error
- ekspor export
- memperluas extends
- gagal failure
- salah false
- selesai finally
- float Float
- untuk for
- dari from
- indeks get
- peta HashMap
- himpunan HashSet
- jika if
- impor import
- dalam in
- int Int
- tidak sah invalid
- panjang length
- daftar List
- lokal local
- cocok match
- cocok_expr match_expr
- maks max
- min
- modulo mod
- modul module
- nama name
- tidak_indeks no_index
- kosong none
- buka open
- atau or
- privat private
- tupel Prod
- publik public
- register_galat_explanation register_error_explanation
- kembalikan return
- atur_option set_option
- panjang size
- string String
- tactic_nama tactic_name
- tugas Task
- termination_oleh termination_by
- lempar throw
- benar true
- coba try
- byte UInt8
- nirnilaI Unit
- sah valid
- variabel variable
- selama while
- dengan with
- dengan_weak_namespace with_weak_namespace