lean / keywords
111 entries at this level
- tambâ_decl_doc add_decl_doc
- kabbi all
- ban and
- deretan Array
- pastejhen assert
- asersi_ta'_exists assert_not_exists
- asersi_ta'_imported assert_not_imported
- asinkron async
- parlangkabhan attribute
- logika Bool
- pegga break
- bi by
- tangkep catch
- karakter char
- aksara Char
- kelas class
- bandheng compare
- lanjut continue
- dbg_lampat dbg_trace
- declare_syntax_koceng declare_syntax_cat
- decreasing_bi decreasing_by
- baku_conto default_instance
- deprecated_modul deprecated_module
- lakò do
- docs_ka_verso docs_to_verso
- elab_atoran elab_rules
- laèn else
- obus end
- obus_lokal_lingkup end_local_scope
- sama Eq
- salah error
- conto example
- earep expected
- ekspor export
- mukka' expose
- norobi extends
- salah failure
- salah false
- ahherra finally
- desimal Float
- kaangguy for
- dari from
- lebur fun
- nomernah get
- pettan HashMap
- kumpolan HashSet
- andi' have
- mon if
- impor import
- e in
- termasok include
- conto instance
- int Int
- ta' saheh invalid
- panjangnah length
- ebiaragi let
- ebiaragi_etunda let_delayed
- ebiaragi_expr let_expr
- ebiaragi_lebur let_fun
- ebiaragi_tmp let_tmp
- deretan List
- lokal local
- macro_atoran macro_rules
- cocok match
- cocok_expr match_expr
- maksah max
- minnah min
- modulo mod
- modul module
- abhâreng mutual
- nyama name
- enja'_indeks no_index
- tadha' none
- bukka open
- otaba or
- privat private
- rompoan Prod
- publik public
- adaftar_sal!a_katerangan register_error_explanation
- adaftar_parser_alias register_parser_alias
- adaftar_tactic_tandha register_tactic_tag
- ngulangè repeat
- balik return
- bâgiyân section
- atur_pelean set_option
- noddhuagi show
- noddhuagi_istilah_elab show_term_elab
- sajjageh since
- besah size
- elebâdhi skip
- saporana sorry
- teks String
- sosonan structure
- tandah symbol
- tactic_nyama tactic_name
- tactic_tandha tactic_tag
- tugas Task
- istilah term
- termination_bi termination_by
- uncal throw
- bendher true
- coba try
- byte UInt8
- tadha' Unit
- sampe' until
- saheh valid
- variabel variable
- edima where
- saabidda while
- ban with
- ban_kedur_namespace with_weak_namespace