lean / keywords
80 entries at this level
- hozzáad_decl_doc add_decl_doc
- mind all
- és and
- tömb Array
- állít assert
- ellenőriz_nem_exists assert_not_exists
- ellenőriz_nem_imported assert_not_imported
- aszinkron async
- logikai Bool
- kilép break
- szerint by
- elfog catch
- karakter char
- char Char
- osztály class
- összehasonlít compare
- folytat continue
- declare_syntax_maczka declare_syntax_cat
- decreasing_szerint decreasing_by
- alapértelmezett_instance default_instance
- deprecated_modul deprecated_module
- csinál do
- docs_ig_verso docs_to_verso
- különben else
- vége end
- vége_lokális_hatókör end_local_scope
- egyenlő Eq
- hiba error
- exportál export
- kiterjeszt extends
- sikertelen failure
- hamis false
- végül finally
- float Float
- tól from
- index get
- map HashMap
- halmaz HashSet
- van have
- ha if
- importál import
- ban in
- int Int
- érvénytelen invalid
- hossz length
- tömb List
- lokális local
- illeszt match
- illeszt_expr match_expr
- maximum max
- minimum min
- modulo mod
- modul module
- név name
- nem_index no_index
- semmi none
- megnyit open
- vagy or
- privát private
- tuple Prod
- publikus public
- register_hiba_explanation register_error_explanation
- visszatér return
- beállít_option set_option
- mutat show
- mutat_term_elab show_term_elab
- hossz size
- string String
- tactic_név tactic_name
- feladat Task
- termination_szerint termination_by
- dob throw
- igaz true
- próbál try
- bájt UInt8
- üres Unit
- érvényes valid
- változó variable
- amíg while
- with_gyenge_namespace with_weak_namespace