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