lean / keywords
113 entries at this level
- embojoaju_decl_doc add_decl_doc
- opavave all
- ha and
- mba'epyre Array
- jejepy assert
- assert_nahániri_exists assert_not_exists
- assert_nahániri_imported assert_not_imported
- asíncrono async
- aporãkatu attribute
- teko behavior
- mokoĩháva Bool
- mokõivéva both
- jeheja break
- rupive by
- japyta catch
- ñe'ẽpete Char
- aty class
- moñepyrũ compare
- ku'e continue
- dbg_takykuere dbg_trace
- declare_syntax_mbarakaja declare_syntax_cat
- decreasing_rupive decreasing_by
- upevakuére_tembiecharã default_instance
- deprecated_modulo deprecated_module
- japo do
- docs_peve_verso docs_to_verso
- elab_mbojojaha elab_rules
- ambue else
- opa end
- opa_hendaite_pa'ũ end_local_scope
- peteĩva Eq
- mbaevai error
- tembiecharã example
- ñemotenondepyréva expected
- rova export
- hechauka expose
- mbaevai failure
- japu false
- paha finally
- mbeguehapy Float
- g̃uarã for
- guive from
- vy'akuaa fun
- ñepyrũha get
- jeporeka HashMap
- mojuaite HashSet
- reko have
- ramo if
- pytaguañemu import
- pe in
- moinge include
- tembiecharã instance
- papapy Int
- ndahekopetéi invalid
- rekoha length
- heja let
- heja_ojejagarrába let_delayed
- heja_expr let_expr
- heja_vy'akuaa let_fun
- heja_tmp let_tmp
- mba'epyre List
- hendaite local
- macro_mbojojaha macro_rules
- partido match
- partido_expr match_expr
- tuichamba max
- michĩmba min
- modulo mod
- modulo module
- oñondive mutual
- tera name
- nahániri_indice no_index
- nahániri none
- mbojuruja open
- térã or
- jekuaa'ỹva private
- mba'emokatu Prod
- jeroviaha_spelling recommended_spelling
- ñemboheraguapy_javy_myesakãrã register_error_explanation
- ñemboheraguapy_parser_alias register_parser_alias
- ñemboheraguapy_tactic_mbohéra register_tactic_tag
- je'ejey repeat
- mboguevi return
- tenda section
- mohenda_option set_option
- hechauka show
- hechauka_ñe'ẽ_elab show_term_elab
- guive since
- rekoha size
- jepopo skip
- chediskulpa sorry
- ñe'ẽryryi String
- hetepy structure
- mba'ejehero symbol
- tactic_mbotuicha tactic_extension
- tactic_tera tactic_name
- tactic_mbohéra tactic_tag
- tarea Task
- ñe'ẽ term
- termination_rupive termination_by
- upéicharõ then
- mongu'e throw
- añete true
- ñeha'ã try
- byte UInt8
- mba'eve'ỹ Unit
- kuaa'ỹva unknown
- ndaupéichairamo unless
- peve until
- hekopete valid
- moõpa where
- ndive with
- ndive_kangy_namespace with_weak_namespace