lean / keywords
73 entries at this level
- centa_decl_doc add_decl_doc
- mochi all
- ihuan and
- tlapohualli Array
- tlapoa assert
- neltilia_amo_exists assert_not_exists
- neltilia_amo_imported assert_not_imported
- ahnenepanoa async
- melahuatl Bool
- tlapoztequi break
- ica by
- tlacui catch
- tlahcuilolli char
- tlahcuilolli Char
- tlatoa compare
- panoa continue
- declare_syntax_miston declare_syntax_cat
- decreasing_ica decreasing_by
- achto_instance default_instance
- chihua do
- docs_campa_verso docs_to_verso
- noce else
- tlami end
- tlami_local_tlanahuac end_local_scope
- cenquizqui Eq
- tlatlacolli error
- hueyaca extends
- tlatlacolli failure
- amoneltiliztli false
- maoccepa finally
- nemiliztli Float
- ipampa for
- huallehua from
- nextlapalihuitl get
- tlahtoltecpantli HashMap
- centetl HashSet
- ki-pi-ya have
- intla if
- ipan in
- telpocatl Int
- amomelahuac invalid
- hueyitiliztli length
- tlapohualli List
- nenehuilia match
- nenehuilia_expr match_expr
- hueyanih max
- tepitonih min
- modulo mod
- tocaitl name
- amo_machiyotl no_index
- ahtle none
- tlapoa open
- noce or
- netlahzohtlaliztli Prod
- register_tlahtlacolli_explanation register_error_explanation
- cuepa return
- ki-neš-ti-a show
- ki-neš-ti-a_term_elab show_term_elab
- hueyitiliztli size
- tlahtolli String
- tactic_tocaitl tactic_name
- tequitl Task
- termination_ica termination_by
- tlahuica throw
- neltiliztli true
- tlamachia try
- byte UInt8
- ahtle Unit
- melahuac valid
- patlaloni variable
- ihcuac while
- ica with
- ica_wiwis-ti-k_namespace with_weak_namespace