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
• byte UInt8
• வெறுமை Unit
• செல்லுபடியாகும் valid
• மாறி variable
• வரை while
• உடன் with
• உடன்_weak_namespace with_weak_namespace