lean / keywords
79 entries at this level
- afegir_decl_doc add_decl_doc
- tots all
- i and
- matriu Array
- assegurar assert
- afirmar_no_exists assert_not_exists
- afirmar_no_imported assert_not_imported
- asíncron async
- booleà Bool
- trencar break
- per by
- capturar catch
- caràcter char
- char Char
- classe class
- comparar compare
- continuar continue
- declare_syntax_gat declare_syntax_cat
- decreasing_per decreasing_by
- predeterminat_instance default_instance
- deprecated_mòdul deprecated_module
- fer do
- docs_a_verso docs_to_verso
- altrament else
- fi end
- fi_local_àmbit end_local_scope
- igual Eq
- error
- exportar export
- estén extends
- fallar failure
- fals false
- finalment finally
- float Float
- per for
- de from
- índex get
- mapa HashMap
- conjunt HashSet
- tenir have
- si if
- importar import
- en in
- int Int
- invàlid invalid
- longitud length
- llista List
- coincidir match
- coincidir_expr match_expr
- màxim max
- mínim min
- mòdul mod
- mòdul module
- nom name
- no_índex no_index
- nul none
- obrir open
- o or
- privat private
- tupla Prod
- públic public
- retornar return
- establir_option set_option
- ensenyar show
- ensenyar_term_elab show_term_elab
- mida size
- cadena String
- tactic_nom tactic_name
- tasca Task
- termination_per termination_by
- llançar throw
- cert true
- intentar try
- byte UInt8
- buit Unit
- vàlid valid
- mentre while
- amb with
- amb_dèbil_namespace with_weak_namespace