lean / keywords
70 entries at this level
- ઉમેરો_decl_doc add_decl_doc
- બધા all
- અને and
- શ્રેણી Array
- ચકાસ assert
- assert_નહીં_exists assert_not_exists
- assert_નહીં_imported assert_not_imported
- અસમકાલ async
- બુલિયન Bool
- તોડો break
- દ્વારા by
- પકડ catch
- અક્ષર Char
- વર્ગ class
- સરખાવો compare
- ચાલુ continue
- decreasing_દ્વારા decreasing_by
- deprecated_મોડ્યુલ deprecated_module
- કરો do
- docs_ને_verso docs_to_verso
- નહીંતર else
- અંત end
- અંત_સ્થાનિક_scope end_local_scope
- સમાન Eq
- ભૂલ error
- નિષ્ફળ failure
- અસત્ય false
- અંતે finally
- દશાંશ Float
- માટે for
- થી from
- અનુક્રમ get
- નકશો HashMap
- ગણ HashSet
- જો if
- માં in
- પૂર્ણાંક Int
- અમાન્ય invalid
- લંબાઈ length
- યાદી List
- સ્થાનિક local
- મેળ match
- મેળ_expr match_expr
- મહત્તમ max
- લઘુત્તમ min
- શેષ mod
- મોડ્યુલ module
- નામ name
- ના_અનુક્રમણિકા no_index
- રિક્ત none
- ખોલો open
- અથવા or
- ટ્યુપલ Prod
- 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
- સાથે with
- સાથે_weak_namespace with_weak_namespace