lean / keywords
58 entries at this level
- přidat_decl_doc add_decl_doc
- všechny all
- a and
- pole Array
- ověř assert
- async
- logický Bool
- lámati break
- zachyť catch
- znak Char
- porovnat compare
- declare_syntax_kočka declare_syntax_cat
- deprecated_modul deprecated_module
- konec end
- konec_local_rozsah end_local_scope
- rovná Eq
- chyba error
- chyba failure
- nepravda false
- nakonec finally
- float Float
- index get
- slovník HashMap
- množina HashSet
- míti have
- když if
- int Int
- neplatný invalid
- délka length
- seznam List
- sirka match
- sirka_expr match_expr
- maximum max
- minimum min
- modulo mod
- modul module
- název name
- ne_index no_index
- prázdno none
- otevřít open
- nebo or
- ntice Prod
- register_chyba_explanation register_error_explanation
- nastavit_option set_option
- ukázati show
- ukázati_term_elab show_term_elab
- velikost size
- řetězec String
- tactic_název tactic_name
- úloha Task
- vyhoď throw
- pravda true
- zkus try
- bajt UInt8
- nic Unit
- platný valid
- proměnná variable
- with_slabý_namespace with_weak_namespace