lean / keywords
108 entries at this level
- tsʼáa_decl_doc add_decl_doc
- tuláakal all
- yéetel and
- xokol Array
- kaliksik assert
- assert_maʼ_exists assert_not_exists
- assert_maʼ_imported assert_not_imported
- masin async
- áatributo attribute
- kóomportemiento behavior
- chibal Bool
- wat break
- tumen by
- chukul catch
- tzikoch Char
- xook class
- chikbesik compare
- seguer continue
- dbg_manak'il dbg_trace
- declare_syntax_miis declare_syntax_cat
- decreasing_tumen decreasing_by
- beytuno'_istansia default_instance
- beet do
- docs_tiʼ_verso docs_to_verso
- elab_péets'elt'aan elab_rules
- wáaj else
- tsʼoʼok end
- tsʼoʼok_lokal_áalkanse end_local_scope
- jach Eq
- xokol error
- e'esajil example
- espektativa expected
- túuxt export
- xokol failure
- ma' jaaj false
- xuulil finally
- ximbil Float
- ti'al for
- tiʼ from
- díibertido fun
- nup get
- tzikbal HashMap
- ch'a'anil HashSet
- yaantal have
- wa if
- íimportasion import
- ich in
- ts'áaj include
- istansia instance
- tsol Int
- ma' ma'alob u beeta'al invalid
- yich'eel length
- p'aat let
- p'aat_xáantal let_delayed
- p'aat_expr let_expr
- p'aat_díibertido let_fun
- p'aat_tmp let_tmp
- xokol List
- lokal local
- macro_péets'elt'aan macro_rules
- báaxal match
- báaxal_expr match_expr
- nojochel max
- chanel min
- chuup mod
- muutual mutual
- kʼaabaʼ name
- maʼ_index no_index
- mix none
- je open
- wáaj or
- pribaado private
- ts'ook Prod
- puublikóo public
- rekomendarta'an_spelling recommended_spelling
- ts'íib_kʼaas_tsikbalil register_error_explanation
- ts'íib_parser_alias register_parser_alias
- ts'íib_tactic_weelil register_tactic_tag
- núuk repeat
- suut return
- xoot' section
- estableser_óopsion set_option
- e'esajil show
- e'esajil_terminóo_elab show_term_elab
- líik'ul since
- yich'eel size
- síit' skip
- sa'asteni' sorry
- tzikil String
- tsoolil structure
- siimbolóo symbol
- tactic_éekstension tactic_extension
- tactic_kʼaabaʼ tactic_name
- tactic_weelil tactic_tag
- meyaj Task
- terminóo term
- termination_tumen termination_by
- chapanik throw
- jaaj true
- kaxant try
- byte UInt8
- chéen Unit
- tak until
- ma'alob u beeta'al valid
- tu'ux where
- ikil while
- yéetel with
- yéetel_weak_namespace with_weak_namespace