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
• ബൈറ്റ് UInt8
• അഭാവം Unit
• സാധു valid
• ചരം variable
• വരെ while
• കൂടെ with
• കൂടെ_weak_namespace with_weak_namespace