lean / keywords
112 entries at this level
- kuria_decl_doc add_decl_doc
- kece all
- kei and
- renena Array
- vakadinadina assert
- vakadeitaka_sega_exists assert_not_exists
- vakadeitaka_sega_imported assert_not_imported
- asini async
- ivakatakilakila attribute
- itovo behavior
- tucake Bool
- ruarua both
- musuka break
- ena by
- kauta catch
- matanivola char
- tokatoka Char
- calala class
- vakavakatauri compare
- tomana continue
- dbg_ivakatakilakila dbg_trace
- declare_syntax_pusi declare_syntax_cat
- decreasing_ena decreasing_by
- vakarau_instance default_instance
- deprecated_tikina deprecated_module
- cakava do
- docs_ki_verso docs_to_verso
- elab_lawa elab_rules
- kevaka else
- tini end
- tini_vakalokale_iyalayala end_local_scope
- tautauvata Eq
- kasou error
- ivakaraitaki example
- namaki expected
- vakauta export
- vakamuai expose
- kuria extends
- sega failure
- false
- vamuria finally
- float Float
- ena for
- mai from
- lasa fun
- vanua get
- veivakadikevi HashMap
- boseivaka HashSet
- tiko have
- kevaka if
- kaumai import
- ena in
- int Int
- invalid
- leka length
- laiva let
- laiva_vakaberabera let_delayed
- laiva_expr let_expr
- laiva_lasa let_fun
- laiva_tmp let_tmp
- rauta List
- vakalokale local
- macro_lawa macro_rules
- tautauvata match
- tautauvata_expr match_expr
- levuliu max
- lailailiu min
- modulo mod
- tikina module
- veidinadinati mutual
- yaca name
- sega_ivakatakilakila no_index
- sega none
- dolava open
- se or
- vakatabu private
- veisiga Prod
- raraba public
- vakatututaki_spelling recommended_spelling
- ivolatukutuku_cala_ivakamacala register_error_explanation
- ivolatukutuku_parser_alias register_parser_alias
- ivolatukutuku_tactic_ivakatakilakila register_tactic_tag
- tokaruataka repeat
- vakasuka return
- iwasewase section
- ituvatuva_digidigi set_option
- vakaraitaki show
- vakaraitaki_gauna_elab show_term_elab
- leka size
- sivita skip
- vosota sorry
- vosa String
- ituvatuva structure
- ivakatakilakila symbol
- tactic_vakalevutaki tactic_extension
- tactic_yaca tactic_name
- tactic_ivakatakilakila tactic_tag
- cakacaka Task
- gauna term
- termination_ena termination_by
- qai then
- vuka throw
- true
- kerea try
- byte UInt8
- kavoro Unit
- valid
- veisau variable
- vanua where
- ni while
- kei with
- kei_malumalumu_namespace with_weak_namespace