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 Float
- សម្រាប់ for
- ពី from
- លិបិក្រម get
- វចនានុក្រម HashMap
- សំណុំ HashSet
- បើ if
- នាំចូល import
- ក្នុង in
- int 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
- byte UInt8
- គ្មានតម្លៃ Unit
- សុពល valid
- អថេរ variable
- ខណៈ while
- ជាមួយ with
- ជាមួយ_weak_namespace with_weak_namespace