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