lean / keywords
63 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
- ਨਾਲ by
- ਫੜੋ catch
- ਅੱਖਰ Char
- ਕਲਾਸ class
- ਤੁਲਨਾ compare
- decreasing_ਨਾਲ decreasing_by
- deprecated_ਮੋਡੀਊਲ deprecated_module
- docs_ਨੂੰ_verso docs_to_verso
- ਅੰਤ end
- ਅੰਤ_ਲੋਕਲ_ਸਕੋਪ end_local_scope
- ਬਰਾਬਰ Eq
- ਗਲਤੀ error
- ਅਸਫਲ failure
- ਝੂਠ false
- ਅੰਤਤਃ finally
- ਫਲੋਟ Float
- ਤੋਂ from
- ਇੰਡੈਕਸ get
- ਮੈਪ HashMap
- ਸੈੱਟ HashSet
- ਵਿੱਚ 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
- ਸੈੱਟ_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