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