lean / keywords
80 entries at this level
- aggiungi_decl_doc add_decl_doc
- tutti all
- e and
- array Array
- asserisce assert
- asserisci_non_exists assert_not_exists
- asserisci_non_imported assert_not_imported
- asincrono async
- booleano Bool
- interrompi break
- per by
- cattura catch
- char Char
- classe class
- confronta compare
- continua continue
- declare_syntax_gatto declare_syntax_cat
- decreasing_per decreasing_by
- predefinito_instance default_instance
- deprecated_modulo deprecated_module
- esegui do
- docs_a_verso docs_to_verso
- altrimenti else
- fine end
- fine_locale_ambito end_local_scope
- uguale Eq
- errore error
- esporta export
- estende extends
- fallisce failure
- falso false
- infine finally
- float Float
- per for
- da from
- indice get
- mappa HashMap
- insieme HashSet
- avere have
- se if
- importa import
- int Int
- non valido invalid
- lunghezza length
- lista List
- locale local
- corrispondenza match
- corrispondenza_expr match_expr
- massimo max
- minimo min
- modulo mod
- modulo module
- nome name
- no_indice no_index
- nullo none
- apri open
- o or
- privato private
- tupla Prod
- pubblico public
- register_errore_explanation register_error_explanation
- ritorna return
- imposta_option set_option
- mostrare show
- mostrare_term_elab show_term_elab
- dimensione size
- stringa String
- tactic_nome tactic_name
- task Task
- termination_per termination_by
- lancia throw
- vero true
- prova try
- byte UInt8
- vuoto Unit
- valido valid
- variabile variable
- mentre while
- con with
- con_debole_namespace with_weak_namespace