lean / keywords

82 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
• declare_syntax_mɛ:w.1 declare_syntax_cat
• 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
• mi:.1 have
• ถ้า if
• นำเข้า import
• ใน in
• int 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
• sa.1-dɛ:ŋ.1 show
• sa.1-dɛ:ŋ.1_term_elab show_term_elab
• จำนวน size
• สตริง String
• tactic_ชื่อ tactic_name
• ทาสก์ Task
• termination_โดย termination_by
• โยน throw
• จริง true
• ลอง try
• ไบต์ UInt8
• ไร้ค่า Unit
• สมเหตุสมผล valid
• ตัวแปร variable
• ขณะที่ while
• ด้วย with
• ด้วย_ʔɔ:n.2-ʔɛ:.1_namespace with_weak_namespace