lean / keywords
93 entries at this level
- tunaj_decl_doc add_decl_doc
- ronojel all
- rachiꞌl and
- tzolob'al Array
- ilij assert
- assert_man_exists assert_not_exists
- assert_man_imported assert_not_imported
- majabi async
- ub'anik attribute
- no'jib'al behavior
- xajoj Bool
- kab'ichal both
- qꞌatoj break
- rumal by
- chapij catch
- tzij Char
- b'antajik class
- tzijonik compare
- tikꞌoj continue
- dbg_ujuch'ik dbg_trace
- declare_syntax_me's declare_syntax_cat
- decreasing_rumal decreasing_by
- bꞌan do
- docs_che_verso docs_to_verso
- elab_taqanem elab_rules
- kꞌisbꞌal end
- kꞌisbꞌal_ajwaralik_ropanem end_local_scope
- jalaj Eq
- itzel error
- sachij failure
- saq false
- k'isij finally
- sik'in Float
- chech for
- pa from
- ki'kotem fun
- b'eyb'al get
- xukb'al HashMap
- ch'uqb'al HashSet
- k'olik have
- we if
- rilik import
- pa in
- uya'ik include
- choom Int
- man yakatal taj invalid
- nim length
- let_ki'kotem let_fun
- tzolob'alib'al List
- ajwaralik local
- macro_taqanem macro_rules
- junamaj match
- junamaj_expr match_expr
- nimal max
- ch'utimal min
- utz'inonik mod
- junamil mutual
- bꞌiꞌaj name
- manaꞌ_index no_index
- maj none
- jaqoj open
- o or
- molb'al Prod
- uqxa'nitalik_spelling recommended_spelling
- utz'ib'axik_sachoj_explanation register_error_explanation
- utz'ib'axik_parser_alias register_parser_alias
- utz'ib'axik_tactic_retwokaj register_tactic_tag
- ukamulixik repeat
- tzolij return
- k'olib'al section
- ya'onem_option set_option
- q'alajisanem show
- q'alajisanem_taqanem_elab show_term_elab
- nim size
- uq'axexik skip
- kuyu' sorry
- tzijob'al String
- wokob'al structure
- retal symbol
- tactic_bꞌiꞌaj tactic_name
- tactic_retwokaj tactic_tag
- b'anonik Task
- taqanem term
- termination_rumal termination_by
- taqij throw
- qastzij true
- chajij try
- byte UInt8
- maj Unit
- yakatal valid
- jawije' where
- rukꞌ with
- rukꞌ_weak_namespace with_weak_namespace